Add support for symbolic if expression