KaSa with counters...

[Jérôme]

Dear all, 

I have just mushed in the branch master an extension of KaSa for counters. 

Basically an abstract domain infer lower and upper bound to each counter and display them with the other contraints that are found by the analyzer. 

I have also made a minimal treatment of the influence map, but I will refine it later to get more precise result. 

All feedbacks are welcome. 

Best. 

Jérôme;