added a method that states whether a VariableOrdering is empty
changed the variable comparison in apply algorithm for the case of no given VariableOrdering
changed the comparison back, added comparison for validation to cons
moved the case for no given VariableOrdering to the comparator