Local optimization does not reach a fixed point.
Verifier complains about unscheduled nodes.