Function call_context_from_args 

fn call_context_from_args(args: &[Spanned<Operand<'_>>]) -> CallContext

Build a concrete CallContext from the call’s literal arguments so the backward slicer prunes callee paths the same way the forward VM does. Only constant integer arguments are carried; symbolic arguments are absent.