added proof of incremental compilation with differential