ProgramPoint(DismantleBytecode v) {
ProgramPoint(BytecodeScanningDetector v) {
		ProgramPoint(DismantleBytecode v) {			method = MethodAnnotation.fromVisitedMethod(v);			sourceLine = SourceLineAnnotation				.fromVisitedInstruction(v,v.getPC());			}