removed impossible if expr