The following tried to find “topology” of algorithm, but it would be easier to write an appropriate algorithm writer:

Harvests order of non header non predicate call statements

Adds arguments in later
Header stays same
Call make different

Or done by new predicate
Not copy done to each appropriate statement