Should we allow the syntax? If so how do we differentiate a variable name from the cmp keyword, see example in the paper.