unify conditional expression