Refactoring the WhileyPath to make more sense.