Some Progress in RuleManager, getVariableList in Definition