Fixed reading ZDD from an input file (skip until first '#' in the file)