added method that provides all satisfying assignments for an OBDD