when nothing was inferred set the instantiation flag for 1 more try
some more work towards better inference+instantiation