Function verify_auto 

pub fn verify_auto(
    init: &VerifyExpr,
    transition: &VerifyExpr,
    property: &VerifyExpr,
    signals: &[SignalDecl],
) -> VerificationResult

Verify a property using automatic strategy selection.