Fixed size inconsistency between allocating and enlarging

src/org/rascalmpl/parser/gtd/stack/AbstractStackNode.java

@@ -669,7 +669,7 @@ public int updateOvertakenNullableNode(AbstractStackNode<P> predecessor, Abstrac
 			}
 
 			if(propagatedPrefixes == null){
-				propagatedPrefixes = new BitSet(edgesMapSize);
+				propagatedPrefixes = new BitSet(possibleMaxSize);
 			}else{
 				propagatedPrefixes.enlargeTo(possibleMaxSize);
 			}