solves this instance, then either u or f (u) will be expanded during the search.
d2( f (u), f (t)), computed by blind search in G2. If A
A-framework-for-analysing-state-abstraction-metho_2022_Artificial-Intelligen