Extracting Interfaces out of the Contracts