Bugfix @vars and lhs/rhs pushes