Update and refactor weak contract analysis
@spuri
Submitted by Stefano puri Link to original bug (#562387)
Description
Action to fix the weak contract analysis to make it work with OCRA 1.4.1. Using up-to-date OCRA transformations (developed by FBK).
Version: develop