val verbose_ctl_engine : bool ref
val verbose_match : bool ref
val partial_match : bool ref
val poswits_only : bool ref
val loop_in_src_code : bool ref
val bench : int ref
val steps : int option ref
val graphical_trace : bool ref
val gt_without_label : bool ref
val checking_reachability : bool ref
