Improved IntProg