Verifying GDW versions of ATOMIC CANNON levels