CHECK: spaces preferred around that '*' (ctx:VxV)
CHECK: spaces preferred around that '^' (ctx:VxV)
ERROR: spaces required around that ':' (ctx:VxW)