@Override
		// precedence >= _precedenceStack.peek()
		public String toString() {
			return "{"+precedence+">=prec}?";
		}
The default {@link SemanticContext}, which is semantically equivalent to
a predicate of the form {@code {true}?}.
runtime/Java/src/org/antlr/v4/runtime/atn/SemanticContext.java