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'