CFG binop boolop unop operations