AlphaNode alphaNode = ( AlphaNode ) otn.getSinkPropagator().getSinks()[0];
assertEquals( calculatePositiveMask(list("a"), sp), alphaNode.getDeclaredMask( ) );
assertEquals( calculatePositiveMask(list("a"), sp), alphaNode.getInferredMask());
LeftInputAdapterNode liaNode = ( LeftInputAdapterNode ) alphaNode.getSinkPropagator().getSinks()[0];
RuleTerminalNode rtNode = ( RuleTerminalNode ) liaNode.getSinkPropagator().getSinks()[0];
assertEquals( EmptyBitMask.get(), rtNode.getDeclaredMask() ); // rtn declares nothing
assertEquals( calculatePositiveMask(list("a"), sp), rtNode.getInferredMask() ); // rtn infers from alpha
}