added french tests

added one value phis as sigmas

Mergin with experimental

Finished eval tests

added eval for scev

eval test suite

Started to test Ptrdist

Added argument hack

merged experimental

Adjusted to experimental branch

Added a set o Microbenchmarks tests without the main function

adjusted the microbenchmarks tests

Implemented better local analysis

Deleted weird file

Modularized analysis