Function resolve_checker 

pub fn resolve_checker(
    checker: &CheckerDecl,
    port_bindings: &[(String, SvaExpr)],
) -> Result<Vec<SvaDirective>, SvaParseError>

Resolve a checker instance by binding ports into its assertions.