(#2) Add tests for laxarPaths