Illegal exception when reading certain hypotheses