added method to find a redundant node
added method to check whether an OBDD node is redundant
added method that states, whether an OBDD is a QOBDD
added method that states, whether an OBDD is a ROBDD