Extract runNewContext from loadInferDef into runLoadInferDef
Re-enable all tests except ImplicitVariable tests