Semi-automatic Stretch Wrappers