(Program (Binary (Identifier) { (Other "<=") -> (Other "<") } (Identifier)) (Binary (Identifier) { (Other ">=") -> (Other ">") } (Identifier)))