Function symbolic_invariant_unsupported_domain_reason 

fn symbolic_invariant_unsupported_domain_reason(
    invariant_config: &InvariantConfig,
    sender_filters: &SenderFilters,
    targets: &FuzzRunIdentifiedContracts,
    symbolic_targets: &[SymbolicInvariantTarget],
) -> Option<String>