code reformulation to cover quality requirements