// first share
AlphaNode alphaNode1_1 = ( AlphaNode ) alphaNode1.getSinkPropagator().getSinks()[0];
assertEquals( calculatePositiveMask(list("b"), sp), alphaNode1_1.getDeclaredMask( ) );
assertEquals( calculatePositiveMask(list("a", "b", "c"), sp), alphaNode1_1.getInferredMask() );
BetaNode betaNode1 = ( BetaNode ) alphaNode1_1.getSinkPropagator().getSinks()[0];
assertEquals( calculatePositiveMask(list("c"), sp), betaNode1.getRightDeclaredMask() );
assertEquals( calculatePositiveMask(list("a", "b", "c"), sp), betaNode1.getRightInferredMask() );
assertEquals( calculatePositiveMask(list("i"), sp), betaNode1.getLeftDeclaredMask() );
assertEquals( calculatePositiveMask(list("b", "i"), sp), betaNode1.getLeftInferredMask() );
// second share
AlphaNode alphaNode1_2 = ( AlphaNode ) alphaNode1.getSinkPropagator().getSinks()[1];
assertEquals( calculatePositiveMask(list("i"), sp), alphaNode1_2.getDeclaredMask( ) );
assertEquals( calculatePositiveMask(list("a", "b", "i", "s", "j"), sp), alphaNode1_2.getInferredMask() );
BetaNode betaNode2 = ( BetaNode ) alphaNode1_2.getSinkPropagator().getSinks()[1];
assertEquals( calculatePositiveMask(list("s"), sp), betaNode2.getRightDeclaredMask() );
assertEquals( calculatePositiveMask(list("a", "i", "s"), sp), betaNode2.getRightInferredMask() );
assertEquals( calculatePositiveMask(list("j"), sp), betaNode2.getLeftDeclaredMask() );
assertEquals( calculatePositiveMask(list("b", "j"), sp), betaNode2.getLeftInferredMask() );
// third share
AlphaNode alphaNode1_4 = ( AlphaNode ) alphaNode1_2.getSinkPropagator().getSinks()[0];
assertEquals( calculatePositiveMask(list("b"), sp), alphaNode1_4.getDeclaredMask( ) );
assertEquals( calculatePositiveMask(list("a", "b", "i", "j"), sp), alphaNode1_4.getInferredMask() );
BetaNode betaNode3 = ( BetaNode ) alphaNode1_4.getSinkPropagator().getSinks()[0];
assertEquals( calculatePositiveMask(list("j"), sp), betaNode3.getRightDeclaredMask() );
assertEquals( calculatePositiveMask(list("a", "i", "b", "j"), sp), betaNode3.getRightInferredMask() );
assertEquals( calculatePositiveMask(list("k"), sp), betaNode3.getLeftDeclaredMask() );
assertEquals( calculatePositiveMask(list("c", "k"), sp), betaNode3.getLeftInferredMask() );
}