Function check_consistency 

pub fn check_consistency(
    props: &[VerifyExpr],
    signals: &[String],
    bound: usize,
) -> ConsistencyResult

Check if a set of properties can all hold simultaneously (legacy API).

Conjoins all properties and checks Z3 satisfiability. If UNSAT, identifies the conflicting pair(s).