Function flatten_subsumption_body 

fn flatten_subsumption_body(
    body: &CompoundBody,
) -> Vec<(String, Vec<CompoundArg>)>

Flatten a subsumption body (a pure conjunction of primitive calls) into a list of (tag, args) pairs.