Transforms an Equation of a Var with a Term to the corresponding Substitution
Creates a Substitution out of a Iterable of Equations assigning Vars to Terms