[Eva] Embeds split_return in partition as a new partitioning action.

Moves function split_by_evaluation from evaluation to partition.
Moves function split_final_state from transfer_stmt to partition.
New partitioning action Restrict, that restricts the rationing according to the
evaluation of an expression into some expected values.