Add coverage support to GNAT engine