Formata code. #mania
Reorder allowed clause for the Praspel visitor.
Fix a typo in the API documentation.
Add the addVariable() method.
Add the addClause() method.
Add trace support!

Just give a Hoa\Praspel\Trace object in the Hoa\Praspel::evaluate()
method, and use the Hoa\Praspel\Visitor\Praspel to print it!
Format code. #mania
Detect a new Failure\Precondition.

If there is not enough data to invoke the callable, the error was
postpone to the checkClause() of a @requires. But in the following
situation, this will not be detected:

    /**
     * @requires i: 'foo';
     * @behavior a {
     *     @requires j: 'bar';
     * }
     * @behavior b {
     *     @requires j: 'baz';
     * }
     */
    public function f ( $i, $j ) { … }

If $i = 'foo' and $j unset. Because the first @behavior will failed
(silently, which is normal), and the second @behavior will also failed
(and also silently, which is still normal). So the callable will be
invoked with a missing argument.

This patch fixes that!
Re-index exceptions.
[auto] Merge from Praspel

    • #49a2f3b — Formata code. #mania (Ivan Enderlin, 2013-10-31)
    • #54347f2 — Reorder allowed clause for the Praspel visitor. (Ivan Enderlin, 2013-11-01)
    • #eef88e7 — Fix a typo in the API documentation. (Ivan Enderlin, 2013-11-01)
    • #057c599 — Add the addVariable() method. (Ivan Enderlin, 2013-11-01)
    • #c4f955a — Add the addClause() method. (Ivan Enderlin, 2013-11-01)
    • #6683268 — Add trace support! (Ivan Enderlin, 2013-11-01)
    • #45d9e88 — Format code. #mania (Ivan Enderlin, 2013-11-01)
    • #ee1a849 — Detect a new Failure\Precondition. (Ivan Enderlin, 2013-11-01)
    • #5c1a85b — Re-index exceptions. (Ivan Enderlin, 2013-11-01)

---

Merge remote branch 'library-praspel/master'