Line: add split
Line: add for_all
Psl: new module for PSL files