allValuesBFS allValuesDFS allValuesIDS allValuesIDSwith bfsStrategy dfsStrategy getAllValuesWith getSearchTree identicalVars idsStrategy idsStrategyWith isDefined isVar searchTreeSize showSearchTree someSearchTree someValue someValueWith varId vsToList