assertEquals( "rule1",
m.name );
assertEquals( 2,
m.lhs.length );
IPattern p0 = m.lhs[ 0 ];
assertTrue( p0 instanceof FactPattern );
FactPattern fp0 = (FactPattern) p0;
assertEquals( "Counter",
fp0.getFactType() );
assertEquals( "cc",
fp0.getBoundName() );
assertEquals( 0,
fp0.getNumberOfConstraints() );
IPattern p1 = m.lhs[ 1 ];
assertTrue( p1 instanceof FromCompositeFactPattern );
FromCompositeFactPattern fcfp1 = (FromCompositeFactPattern) p1;
FactPattern fp1 = fcfp1.getFactPattern();
ExpressionFormLine efl1 = fcfp1.getExpression();