if a variable has already been assigned to then attempt to unify with it rather than reassigning - resolves #91