Function full_calldata_source 

fn full_calldata_source(
    gcx: Gcx<'_>,
    expr: &Expr<'_>,
    full_calldata_inputs: &[CalldataInput],
) -> Option<Option<CalldataInput>>

Some(None) for msg.data, Some(Some(input)) for a known full-calldata input, None otherwise.