At least one sensitivity analysis unit test has a malformed input.

[markww]

While testing Raksha, I saw the following message fly by:

INFO: From Executing genrule //src/analysis/souffle/tests/dp_sensitivity_tests:sensitivity_analysis_unit_test_test_results:
Error loading isOperation data: Error converting <> in column 1 in line 8; cannot parse fact file isOperation.facts!

It looks like one of the input facts files is malformed, and Souffle is just trying to keep running with a partial or empty facts file. We should fix this input file, as it might be making the test pass trivially.