[intp] Improves synchronization existence test.