pub fn read_linear_process_specification( filename: &str, ) -> Result<UniquePtr<specification>, Exception>
Reads a .lps file and returns the resulting linear process specification.