Bugfix: bookkeeping of defined variables was buggy, now fixed; removing
just aliasing def variables