CHECK: spaces preferred around that '*' (ctx:VxV)
ERROR: do not use assignment in if condition
ERROR: space required after that ',' (ctx:VxV)