[Eva] Computes the maximum subdivision number in transfer_stmt.

Prerequisite for new options or annotations to configure more finely
the subdivisions.
In partition.ml, the subdivisions are disabled.
Other files always use the default value of subdivisions.