`vampire rewrite` now adds the appropriate pragma and import.