JSONFactExtractor BugFix with deriving line numbers