Informs the domain that the current evaluation is a subdivision of the complete
evaluation.
Evaluation engine: [root] is set to false for subdivided evaluations.

The context currently contains the fields:
- root: is the queried expression the root expression being evaluated, or is it
  a subexpression?
- sudivision: the maximum number of subdivisions for the current evaluation.
- subdivided: is the evaluation being subdivided?

[root] is always set to false for subdivided evaluations.

The abstract domain queries [extract_expr] and [extract_lval] have a new
boolean parameter [root], which is true for the root expression being
evaluated, and false for all its sub-expression and lvalues.

The contracts are updated to mention the behaviors in the contracts of
`stdlib.h` and satisfy Eva.

[eacsl] Merge the specifications from the RTL functions with the corresponding functions from the user's project

Uses it in [get_name].