Returning some IfExps when relevant
Do some trivial if mangling