checkpoint: policy route problems in compiler