+++ /dev/null
-import "StandardLibrary"
-
-Foo ?x :-
- @enforce 1
- Execute (?x := (1 :: Integer))
-
-Bar ?x :-
- @enforce 2
- Execute (if getRef ?x == 1 then () else fail "Test failed.")
-
-rule DoIt where
- @from
- ?x = ref (0 :: Integer)
-
- @to
- Bar ?x
- Foo ?x
-
-main :: ()
-main = transformation OneShotForward where
---
-()