checkliveness
checkliveness(G(L),io); }
checkliveness(G(L),io); }
checkliveness(G(L),io); }
checkliveness(G(L),io); }
checkliveness(G(L),io); }
checkliveness(G(L),io); }
checkliveness(G(L),io1); }
checkliveness(G(L),o1_); }