Modified Semant and Translate for IfExp.