Its unfortunate that we need incremental compilers, but it seems clear that with them this is needed, agreed. IFF the tool does extra fine-grained peeking, we can only leverage at pants layer by fp'ing the output