fn shortcircuit_eligible_spawns_in_expr(
    expr: &Expr,
    binding_is_unresolvable: &HashMap<String, bool>,
    target_signatures_by_key: &HashMap<&String, Signature>,
    should_return_value: bool
) -> Result<RewriteResult<Expr>, Error>