Implemented cgen for plus, lt and leq