add VariableOperator and ProposistionOperator