pub(super) fn extract_name_for_assignment(
    e: &RExpr,
    is_exact_eq: bool
) -> Option<Name>