Unable to find Path in Database: why3s