rlmv simple.mv
init
compute_reach -v 1 
_transition -v 1