viatra.inremental
-----------------
TODO
   * javítás:
    * [error] Negative patterns or check expressions cannot output variables - [call(name: isMatched, id: 0, fqn: isMatched)] in [name: hasCommonSrcMatched, id: 0, fqn: composition_02.hasCommonSrcMatched]
      
   * Deferred cuccosok? rekurzio jo?
   
   * korrekt sideStub + optimalizáció kétféle mask-kal multiplicitással és anélkül
   * PatternGraph overhaul (graph helyett constraint systems vagy valami)?
   
   * TermEval output ertek

   * Constant modelelement megsinyli a torlest
   * PatternGraph kiemelese packagebe?
   * PatternMemory -> generikus (Clearable nyilvan nem lehet)
HALASZTVA/NEM AKT/REMLHETLEG OK
   * injectivity mint pEdge?
   * GTRuleMatcher -> állítólag nem kell
   * gtPattern.isDistinctMatching() -> specin kivuli; majd r3-ba esetleg lesz
   * quantificationOrder? -> meg a sima se tudja            
OPTI
   * dupla oroklodesu Tuple, transform Tuple
   * oroklos Tuple-ok ancestort cserelne, ha !=, de equals
   * tuple tipusok varialhatosaga halozaton belul (pl. JoinNode parameterezese) + heurisztika meret alapjan
   * ha complementerMask ures, egyszeru return referencia
   * rete objectknt fqn vagy Entity? (>>= RetePatternMatcher, ModelSpaceListener)
   * identikus maszkolas: kulonleges memoryk, torekves rajuk epiteskor
   * epites: jobb bejaras, bizonyos elek elonyben reszesitese (PatternEdge.compareTo())
   * epites: csomopont cacheles konstruktor szerint
   * epites: reszgrafok cache-elese
   * epites: több típusú entity-k egyszerűsítése, mi adódik az élekből is? 
   * epites: több típusú relation-ök?
   * epites: több típus (és konstans containment?) külön részhálóban csekkolva, nem lineárisan
   * matchAll()-nál Indexer használata, plusz szkópok vertikális ellenőrzése
   * Constant-kezeles optimalizalas : csekkeles meg a jobb oldalon, de ne jusson be a foaramba
   
   * Slot-bl maszk nlkli az lekhez -> gyorsts       
   * hol legyen Tree, Hash, List a klnbz Collectionkben? Szfa?