#3 Compose function broken with JFactory

[kheyse]

Doing a compose operation results in a NullPointerException. Possible workaround: veccompose.

[kheyse]

Output:
Garbage collection #1: 11 nodes / 0 free / 0.0s / 0.0s totalResizing node table from 11 to 19

Garbage collection #2: 19 nodes / 0 free / 0.0s / 0.0s total
Resizing node table from 19 to 37
<0:1, 1:1>
Exception in thread "main" java.lang.NullPointerException
at net.sf.javabdd.JFactory.BddCache_lookupI(JFactory.java:3472)
at net.sf.javabdd.JFactory.compose_rec(JFactory.java:1952)
at net.sf.javabdd.JFactory.bdd_compose(JFactory.java:1927)
at net.sf.javabdd.JFactory$bdd.compose(JFactory.java:161)
at BDDbug.main(BDDbug.java:14)