Function resolve_let_instance 

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

Resolve let declarations by inlining expression substitution. IEEE 11.12: let is pure expression substitution with no temporal semantics.