add spin:violationPath to all patterns as annotation