Move condition abduction to a feature branch