add skeleton implementation of experiment/formal/proof_icache.py to