AlphaNode alphaNode = ( AlphaNode ) otn.getSinkPropagator().getSinks()[0];
assertEquals( calculatePositiveMask(list("a"), sp), alphaNode.getDeclaredMask( ) );
assertEquals( calculatePositiveMask(list("a", "b", "s"), sp), alphaNode.getInferredMask() );
BetaNode betaNode = ( BetaNode ) alphaNode.getSinkPropagator().getSinks()[0];
assertEquals( calculatePositiveMask(list("b","s"), sp), betaNode.getRightDeclaredMask() );
assertEquals( calculatePositiveMask(list("a", "b", "s"), sp), betaNode.getRightInferredMask() );
assertEquals( calculatePositiveMask(list("c"), sp), betaNode.getLeftDeclaredMask() );
assertEquals( calculatePositiveMask(list("a", "c"), sp), betaNode.getLeftInferredMask() );
otn = getObjectTypeNode(kbase, "B" );
alphaNode = ( AlphaNode ) otn.getSinkPropagator().getSinks()[0];
assertEquals( calculatePositiveMask(list("a"), sp), alphaNode.getDeclaredMask( ) );
assertEquals( calculatePositiveMask(list("a", "c"), sp), alphaNode.getInferredMask());
assertEquals( calculatePositiveMask(list( "c"), sp), betaNode.getLeftDeclaredMask() );
assertEquals( calculatePositiveMask(list("a", "c"), sp), betaNode.getLeftInferredMask() );
}