fixed some test cases to correctly configure the new FlowDroid option