added initial implementation of constants folding
Merge branch 'master' of https://github.com/eddyz87/mudibifasy
bugfix for correct tracking of known examples