UncertainReturn
Contents are marked with this annotation, when the generator is not sure how to bind the method.