HOPKINS: Some renaming in LinesManager, remove a couple of problematic asserts