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