Disable the regression test for now as it depends on the variable sensitivity domain.

This change was cherry-picked from much later in the variable-sensitivity patch set.
It makes sense to include it here as the changes are independent and apply to many
domains.  However the test case requires options that have not been added yet and
so is disabled for now.

regression/goto-analyzer/sensitivity-function-call-recursive/test.desc

@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 main.c
 --variable --pointers --arrays --structs --verify
 ^EXIT=0$