Support NULL in initialisers
Rename Extraction => Extracted.
Support INT_MIN, INT_MAX, ...

It is a bit of a hack in Main.ml, for example, variable declarations named INT_MAX should be forbidden.