Test symbolic if