Transformations.ShiftGuard
Add a guard shift_ammount >= 0
before every shift.
Its command line id is S
.
type relation_in = Ast.Program.relation
type relation_out = Ast.Program.relation
module Domain
(S : Sig.Classical_Domain with type relation = relation_out) :
Sig.Classical_Domain
with module State = S.State
and module StateSet = S.StateSet
and type relation = relation_in
The actual transformation functor