More exp parsed: infix app, if/then/else