filter impossible references with feature model
remove unnecessary code; fix intellij warnings
code layout
code simplification
renaming refactoring
fix error in checking DFG property condition
renaming refactoring
renaming refactoring
code layout
renaming refactoring
refactoring
cleanup imports
fixing test cases introduced after previous refactorings