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