Gp|-p CTL(*): mlsolver   CTL   ctl-rp   anu-tree   anu-bdd   anu-tr   anu-gr   anu-grfoc   anu-grbj   BCTL*: BCTLHUE   BCTLNEW   BCTLOLD   BCTLHUE   BPATHf   bctl   NL-BCTL*: BPATHUE   BPATH   nl_bctl   simplify