This file marks the directory as containing a CBMC proof