context(outer) vars assign
basic test (mul.mvm) succ