Check static contract always return Ok even in case of invalid model

In current studio, a click on check static contracts launches the validation but strangely it displays that it will run a number of contracts, but actually they aren't run in ContractValidator.java