Symbolic state creation for column references, binary comparison operators and numeric constants.