Merge: Contract refactoring

This pr:
* Move the contract model representation to detach the representation and the processing of contracts.
* Improvement of  `CallSiteVisitor` to ignore `MContract` and `MFacet` methods in the callsite redriving. Add the usage of `create_callsite` method.

Pull-Request: #2826