More optimistic instantiation algorithm.