Oops: setInferredType was wrong w.r.t resumptions
Dont allow test to fail

Oops: test was wrong, we cannot infer arg isn't getVar a