[Eva] Adds function [call_return] to trace_partitioning.ml

Called from the iterator; removes [call_return_policy] from iterator.ml.
In partition.ml, renames [recombine] to [combine].