Split off parts of single pass compiler (#5526)

### Description
- Split off parts of single pass compiler, which is the refactoring part
of #5509

### How has this been tested?
- No additional testing needed

<small>By submitting this pull request, I confirm that my contribution
is made under the terms of the [MIT
license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>