Fixing bug in prom and quantopt