Better constructor support.

Compute a new callable and a new reflection for the rest of the RAC
since we generate a real instance.
Adding a clause redefine its parent.
Remove reference when setting the value.

If the variable is an argument that is passed by-reference, and, if its
value is changed during the execution of the system, its reference will
be propagated until here. Consequently, in the post-state of the system,
the value of the variable in the pre-state will be equal to the value in
the post-state. This is an error. Thus, we copy the value instead of
using a reference (initially introduced for performance reason).
Fix a regression in behaviors.
Clean a little bit \old(e) support.

Remove a useless code in the RAC. And move the `\old(e)` support from
the interpreter to the model.
Add tracability for crate constant.
Support crate constant.
Fix compilation of crate variable.
Move importations.
Update an exception message.
mv AssertionChecker\Preambler Preambler\Handler
Fix an error in an exception message.
The __setCallable method is now public.
The generateData method is now static…

… and it has been moved into `Hoa\Praspel\AssertionChecker` class.
Update the callable after running a preambler.

A preambler can change the callable, we then need to update it in the
assertion checker.
Add the encapsulation shunter preambler!

Shunt encapsulation: instanciate a class and set its state by using
invariants and not methods calls.