Execute and finish of methods

The language specifications define how a program will effectively behave from the point of the user/programmer. So, yes, you can assume that the program behaves as that:

• It computes doSomeMethod
• It stores the results in methodComplete
• It executes the if clauses

That said, some optimizations might result in code executed ahead, see Speculative execution.