One pass simple analysis

Methods which have no branching and no loops are analyzed in one pass.