/**
 * Abstract Syntax Tree.
 * 
 * <pre>
 * Group ::= Definition*
 * 
 * Definition ::= Test | FourPhaseTest | Table
 * 
 * Test ::= Assertion*
 * 
 * Assertion ::= Proposition* Fixture
 * 
 * Proposition ::= Expr Copula Expr
 * 
 * Copula ::= IS | IS_NOT | THROWS
 * 
 * Fixture ::= | TableRef | Bindings
 * 
 * TableRef ::= TableType
 * 
 * TableType :: INLINE | CSV | TSV | EXCEL
 * 
 * Bindings ::= Binding*
 * 
 * FourPhaseTest ::= Phase Phase Phase Phase
 * 
 * Phase ::= LetBindings? Action?
 * 
 * Action ::= Execution | Assertion
 * 
 * Execution ::= Expr*
 * 
 * Table ::= Row*
 * 
 * Row ::= Expr*
 * </pre>
 * 
 */
package yokohama.unit.ast;
@@ -219,65 +219,595 @@
 ::= 
-Expr Copula Expr%0D%0A * %0D%0A * Copula ::= IS %7C IS_NOT %7C THROWS
+QuotedExpr Predicate%0D%0A * %0D%0A * Predicate ::= IsPredicate %7C IsNotPredicate %7C ThrowsPredicate%0D%0A * %0D%0A * IsPredicate ::= Matcher%0D%0A * IsNotPredicate ::= Matcher%0D%0A * ThrowsPredicate ::= Matcher%0D%0A * %0D%0A * Matcher ::= EqualToMatcher %7C InstanceOfMatcher%0D%0A * %0D%0A * EqualToMatcher ::= QuotedExpr%0D%0A * InstanceOfMatcher ::= ClassType%0D%0A * %0D%0A * Expr ::= QuotedExpr %7C StubExpr%0D%0A * %0D%0A * StubExpr ::= QuotedExpr StubBehavior*%0D%0A * %0D%0A * StubBehavior ::= MethodPattern Expr%0D%0A * %0D%0A * MethodPattern ::= Type*%0D%0A * %0D%0A * Type ::= NonArrayType%0D%0A * NonArrayType ::= PrimitiveType %7C ClassType%0D%0A * PrimitiveType ::= Kind
 %0D%0A *
@@ -986,31 +986,39 @@
 st ::= Phase
+?
  Phase
- 
+? Verify
 Phase Phase%0D
@@ -1016,16 +1016,17 @@
 se Phase
+?
 %0D%0A * %0D%0A 
@@ -1050,18 +1050,21 @@
 ndings? 
-Ac
+Execu
 tion?%0D%0A 
@@ -1069,35 +1069,23 @@
 %0A * 
-%0D%0A * Action ::= Execution %7C
+VerifyPhase ::=
  Ass
@@ -1090,16 +1090,17 @@
 ssertion
++
 %0D%0A * %0D%0A 
@@ -1111,24 +1111,30 @@
 ecution ::= 
+Quoted
 Expr*%0D%0A * %0D%0A

Update documentation