18. The method defined in claim 17 wherein the predetermined value is zero.
17. The method defined in claim 15 wherein evaluating comprises: identifying one or more constraints in the computer program code having one or more unsolved terms; evaluating resource usage by the computer program code corresponding to the identified constraints; determining values for the identified constraints corresponding to the unsolved terms in order to achieve resource use safety based on the evaluating; setting one or more resource consumption constraints corresponding to the unsolved terms to the determined values; and wherein annotating comprises: inserting one or more acquire operations into the computer program code corresponding to the unsolved terms to a predetermined value in order to achieve resource use safety.