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