Hello, I have a problem with sal-path-explorer. I tried it with several specifications. In all cases it right away printed the following message: Error: Unbound variable I get the same error message even when running it with the example suggested by sal --help: sal-path-explorer peterson system Could someone help? Thanks, Rimvydas