String Concatenation annotation
Method Calls In Loop
Loop invariant code motion
Loop invariant code motion