A Property-Based Proof System for Contract-Based Design