fix order of params for var_test_eq
started working on actual conversion to smv