LPO model extraction (theoretically) finished
allow infix operators for Parse_ho