Remove assume as coverage target

Author: cristina-david

src/goto-instrument/cover.cpp

@@ -35,7 +35,12 @@ class basic_blockst
         source_location_map[block_count]=it->source_location;
 
       next_is_target=
+#if 0
+        // Disabled for being too messy
         it->is_goto() || it->is_function_call() || it->is_assume();
+#else
+        it->is_goto() || it->is_function_call();
+#endif
     }
   }