Predicate ChangedLines::changedLine

predicate changedLine(File f, int line)