active f x mark f f x chk no f x f chk mat f f f f f f f f f f X x mat f x f y f mat x y chk no c active c mat f x c no c f active x active f x f no x no f x f mark x mark f x tp mark x tp chk mat f f f f f f f f f f X x active 1 f 1 mark 1 chk 1 no 1 mat 2 X 0 y 0 c 0 tp 1 FULL ./TRS/AProVE/Liveness_WRS.trs