1. A system comprising: a compiler configured to perform the following upon accessing a contract within source code, the contract conditioning further execution of an execution scope dependent on whether a predicate is true when encountered at runtime of the execution scope: an act of generating intermediate language code that has the contract semantically structured in such a way that the contract may be understood from reading the intermediate language code.