fix the action subsumption rule

[ivoysey]

fix the action subsumption rule

[ivoysey]

With our current thought about how to restore determinism, there is nothing wrong with the AASubsume rule; instead we define a metafunction on derivations that produces ones that don't have the problem and then prove determinism for them. So this is no longer relevant.