load theops
load components
load model-checker
load simple
load rafrules
load rafqq

*** tests for the desired final state
red findPath(qraf, praf0) .


*** tests for an expected intermediate state
red findPath(qraf, praf1) .

*** tests for an undesired intermediate state
red findPath(qraf, praf2) .