rlmv simple.mv
init
compute_reach -v 1 
transition