Guarantee Conversion by Rewrite Rules
Guarantees can be converted without a scheduler, using rewrite rules
Trivial examples:
- PSBE s d => PS s
- RESBH x y => RESBS x y
Non-trivial examples:
- RESBS x y => RESCS x (2y-x+c) for any c = 0
- RESCS x y => PSBE (x/y) x/y (y-x)