Verify programs with Contracts