@Override
	public String toString() {
		return toString(null, true);
	}
An ATN configuration is equal to another if both have
 the same state, they predict the same alternative, and
 syntactic/semantic contexts are the same.
runtime/Java/src/org/antlr/v4/runtime/atn/ATNConfig.java