Introduce IOrigin to make the Dafny AST easier to work with

Introduce IOrigin to make the Dafny AST easier to work with #10643