Fixed errors in extract function:
- one included the keyword static as parameter
- one was caused by the code duplication of TypeChef, causing adding the same parameter twice
- the last one missed its own declaration
Temporarily disabled PairWise Verification for faster debugging results
Moved LinkingInterface into Morpheus
List[Id] -> List[Opt[Id]] for renaming
Some minor Refactorings
Some minor Refactorings
Merge branch 'andreasmaster' into jl
make shadowing check variability-aware
make typedef shadowing check variability-aware too
merge isshadowing checks for varenv and typedefenv
remove unnecessary imports