AlphaNode alphaNode = ( AlphaNode ) otn.getSinkPropagator().getSinks()[0];
assertEquals( calculatePositiveMask(list("a"), sp), alphaNode.getDeclaredMask( ) );
assertEquals( calculatePositiveMask(list("a", "b"), sp), alphaNode.getInferredMask());
BetaNode betaNode = ( BetaNode ) alphaNode.getSinkPropagator().getSinks()[0];
assertEquals( calculatePositiveMask(list( "b" ), sp), betaNode.getRightDeclaredMask() ); // beta declares nothing
assertEquals( calculatePositiveMask(list("a", "b"), sp), betaNode.getRightInferredMask() ); // beta infers from alpha
otn = getObjectTypeNode(kbase, "B" );
alphaNode = ( AlphaNode ) otn.getSinkPropagator().getSinks()[0];
assertEquals( calculatePositiveMask(list("a"), sp), alphaNode.getDeclaredMask( ) );
assertEquals( calculatePositiveMask(list("a"), sp), alphaNode.getInferredMask());
assertEquals( EmptyBitMask.get(), betaNode.getLeftDeclaredMask() );
assertEquals( calculatePositiveMask(list("a"), sp), betaNode.getLeftInferredMask() );
}