Bugfix for unqualified, unbound, vars on assignment unification.
Moved failing example to successful set
Merge branch 'master' of github.com:DaMSL/K3-Core