ACTIVE: A Tool for Integrating Analysis Contracts