Add all the features to generate json for regression testing + fix of comparison of apron lincons/linexpr1#20

naim-mr wants to merge 10 commits into

caterinaurban:mastercaterinaurban/function:masterfrom

naim-mr:v0naim-mr/refunction:v0Copy head branch name to clipboard