Instantiation of traps and invariants
It appears that heron sometimes generalizes invariants which are already subsumed by found invariants; however, this shouldn't happen since the found invariants are instantiated into the instance as traps.
It appears that heron sometimes generalizes invariants which are already subsumed by found invariants; however, this shouldn't happen since the found invariants are instantiated into the instance as traps.