CH: tests for LineNumber and Proof