interaction
test
--
test(State)
execution
--
do(State)
conditional
--
if_then_else(State,Action1,Action2)
until
--
until(Action,State)