These tests actually confirm that `pre_greedy_local_optimizer` traverses a graph
and applies optimizations, and that it avoids terms in a given `FunctionGraph`.