ACTIVE : A Tool for Integrating Analysis Contracts