fixed cdd_spec to conform to fresh variables naming convention
attempt to orient rule variables right before substituting the RHS of a rule
fixed ResolveAnonymousVariables to deal with anonymous fresh variable ?_
forgot to restore substitution when orientSubstitution failed