CHECK: Alignment should match open parenthesis
CHECK: spaces preferred around that '/' (ctx:VxV)