This is missing a default case. The pattern now matches all `Apply` nodes, not only dynamic-related ones. See failing tests.