treat INVAL as heuristic in 1PC and treat NOTA as rolled back