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