using default propagator to check the unsound bug.