renaming refactoring
refactoring
involve feature model in sat checks of inline function
clean up import statements
renaming refactoring; code layout
renaming refactoring; code layout
include feature model in sat checks; inline function
use feature model in sat checks
renaming refactoring
linkage computation uses feature model now
bugfixing: rejected renaming, if all files have been writeable
bugfixing: linkage determination stoped at declarations
code layout