Function resolve_sequence_instance 

pub fn resolve_sequence_instance(
    decls: &[SequenceDecl],
    name: &str,
    args: &[SvaExpr],
) -> Result<SvaExpr, SvaParseError>

Resolve a sequence instance by substituting actuals for formals.