[src/reversible/rcbdd.hpp] include iostream