public static SourceLineAnnotation fromVisitedInstruction(BetterVisitor visitor, int pc) {
public static SourceLineAnnotation fromVisitedInstruction(PreorderVisitor visitor, int pc) {
	public static SourceLineAnnotation fromVisitedInstruction(BetterVisitor visitor, int pc) {		return fromVisitedInstructionRange(visitor, pc, pc);	}