The base architecture for code-contracts analysis