feat(by_contra,contrapose): warn if the push_neg step does nothing

feat(by_contra,contrapose): warn if the push_neg step does nothing #168446