[geysersam]

No I don't think so because if you make your assumptions early then the same assumptions exist in the entire program and that makes them easy to reason about