added methods for merging equivalent nodes, removing redundant nodes, and creating a QOBDD from an OBDD
added method for creating an ROBDD form an OBDD