- Made a new layout for the lpsparelm test. For unknown reasons the test reports false, while the produced PBES has solution true.