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.
[auto] Merge from Praspel

    • #90cdfe1 — Better constructor support. (Ivan Enderlin, 2013-11-22)
    • #942f186 — Adding a clause redefine its parent. (Ivan Enderlin, 2013-11-22)
    • #a386cb3 — Remove reference when setting the value. (Ivan Enderlin, 2013-11-22)
    • #61f09f7 — Fix a regression in behaviors. (Ivan Enderlin, 2013-11-22)
    • #c5b3449 — Clean a little bit \old(e) support. (Ivan Enderlin, 2013-11-22)
    • #a19102f — Add tracability for crate constant. (Ivan Enderlin, 2013-11-22)
    • #e057548 — Support crate constant. (Ivan Enderlin, 2013-11-22)
    • #eb9d1c5 — Fix compilation of crate variable. (Ivan Enderlin, 2013-11-22)
    • #541255f — Move importations. (Ivan Enderlin, 2013-11-25)
    • #d9fb455 — Update an exception message. (Ivan Enderlin, 2013-11-25)
    • #775ea77 — mv AssertionChecker\Preambler Preambler\Handler (Ivan Enderlin, 2013-11-25)
    • #4f4c924 — Fix an error in an exception message. (Ivan Enderlin, 2013-11-25)
    • #380dba9 — The __setCallable method is now public. (Ivan Enderlin, 2013-11-25)
    • #fc0c707 — The generateData method is now static… (Ivan Enderlin, 2013-11-25)
    • #64452dc — Update the callable after running a preambler. (Ivan Enderlin, 2013-11-25)
    • #c265aef — Add the encapsulation shunter preambler! (Ivan Enderlin, 2013-11-25)

---

Merge remote branch 'library-praspel/master'