WartHog-COMP