Specification and Checking of Software Contracts for Conditional Information Flow