As the formal language becomes more expressive, the execution space is more compressed as each state can be reached in more ways.
the formal language in SCENE contains more functions compared to the other domains, and so it benefits the most from execution-space search.