(gui) Fix instance update when refinement target is deleted
(classifier) fix bug in interpretation of InstCall
(backends) Move ALIGNABLExx constants in OrccAttributes

and add licence test to OrccAttributes
Revert "(DAL) Added option to use sat-solver on guards"

This reverts commit f0afd2c6b10f0d013b2f8f6454ad0c22aeb6ecdd.