Discard usless subexpression
compiles if and simple plus