correct-app1.xbgf

<xbgf:sequence
  xmlns:bgf="http://planet-sl.org/bgf"
  xmlns:xbgf="http://planet-sl.org/xbgf">

  <!-- in the extracted version root is undefined -->
  <xbgf:reroot>
    <root>CompilationUnit</root>
  </xbgf:reroot>

  <!-- not used in other versions -->
  <!-- NONISS -->
  <xbgf:eliminate>Goal</xbgf:eliminate>

</xbgf:sequence>