ModRev/examples/model.lp
reachability test
