added a test for exponential variation from busybox/findutils/find.c

computeCarthesianProduct now checks for SATISFIABILITY in each step

computeNextRelevantFeatures now returns a feature describing the given configuration from a config file or allyes config when encountering a number of variants that is exceeding the threshold
Merge remote-tracking branch 'origin/master'
Linking no longer eliminates imports with corresponding exports.
PairWise configurations now are only generated when variability coverage fails.
Merge remote-tracking branch 'origin/master'
Merge branch 'andreasmaster' into andreasjl
renaming refactoring
renaming refactoring; comments and code simplification
simplify code; condition is already checked in isValidId
code layout
code layout and todo
code layout
inline refactoring
code simplification; code layout and comments
code layout and simplifications
simplify hasInvisibleEnumerations
commenting