stable version of IDER, code purification