Uncommenting import
Disabling -kVarInst flag -- All tests pass