Example: Add a when clause to an abstract rule and accept quickfix that removes the when clause. (https://github.com/eMoflon/emoflon-ibex-democles/issues/68)