CHECK: spaces preferred around that '|' (ctx:VxV)