unbreak if-expression generation
parse+generate inequalities
generate integer casts