The static cache approach in the handler is wrong. Static means shared,
and we do not want it to...

The core is being splitted into several libraries. `Hoa\Exception` is
one of them.

Avoid an issue in the `getAttributeData` method.

\C <=> class('C').

Much faster, much simpler to maintain and consider recents changes in
Praspel (cf research papers).

… at least one @behavior exists.

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

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

… and it has been moved into `Hoa\Praspel\AssertionChecker` class.

Remove a useless code in the RAC. And move the `\old(e)` support from
the interpreter to the model.

If the variable is an argument that is passed by-reference, and, if its
value is changed during ...

Compute a new callable and a new reflection for the rest of the RAC
since we generate a real ins...

When the callable is a constructor, we need a special process, based on
`ReflectionClass::newIns...

Bind class when interpreting.

The semantics of a global @throwable clause is really hard to define.
Same for @ensures. After a...

`this->foo` is considered as a borrowing variable, with the type
`TYPE_EXTERNAL`. Verifications ...

The contract static registry aims at containing all Praspel contracts.
This is very helpful when...