Member predicate Comments::Comment::onLines

Holds if this comment spans lines start to end (inclusive) in file f.

predicate onLines(File f, int start, int end)