Refactoring Delta-Oriented Product Lines to achieve Monotonicity