Function may_alias

pub fn may_alias(
    context: &Context<'_>,
    val1: Value,
    len1: u64,
    val2: Value,
    len2: u64,
) -> bool

Can memory ranges [val1, val1+len1] and [val2, val2+len2] overlap? Conservatively returns true if cannot statically determine.