public BugInstance addSourceLine(PreorderVisitor visitor, int pc) { SourceLineAnnotation sourceLineAnnotation = SourceLineAnnotation.fromVisitedInstruction(visitor, pc); if (sourceLineAnnotation != null) add(sourceLineAnnotation);
public BugInstance addSourceLine(SourceLineAnnotation sourceLine) { add(sourceLine);
	public BugInstance addSourceLine(PreorderVisitor visitor, int pc) {		SourceLineAnnotation sourceLineAnnotation = SourceLineAnnotation.fromVisitedInstruction(visitor, pc);		if (sourceLineAnnotation != null)			add(sourceLineAnnotation);		return this;	}