I noticed that Acacia.hs pushes presets, guarantees, and invariants into the same list (i.e. formulas that should hold if the initials and assumptions hold). This does not match the semantics intended for presets since they should hold even if the assumptions do not.
I noticed that Acacia.hs pushes presets, guarantees, and invariants into the same list (i.e. formulas that should hold if the initials and assumptions hold). This does not match the semantics intended for presets since they should hold even if the assumptions do not.