pub type Z3_probe = *mut _Z3_probe;
Function/predicate used to inspect a goal and collect information that may be used to decide which solver and/or preprocessing step will be used.