Aggressively try_separate() FSim gate
If we more aggressively try_separate(a, b) in the FSim gate, by calling try_separate(a, b) both before and after the gate, then SDRP might become more effective.
If we more aggressively try_separate(a, b) in the FSim gate, by calling try_separate(a, b) both before and after the gate, then SDRP might become more effective.