Function resolve_subsumption_args 

fn resolve_subsumption_args<'tcx>(
    args: &[CompoundArg],
    atom: &AtomProperty<'tcx>,
) -> Option<Vec<PropertyArg<'tcx>>>

Resolve a subsumption body’s (tag, args) — whose args are Param(i) indices into atom’s own arguments — into concrete PropertyArgs.