A B C D A->B.method() { ret0_assign_rtl =C.method_long_to_give_space { @return C->D: ret1_annotation_ltr ret5_assign_ltr = B.method B.method2 { return ret2_return_ltr } } return ret2_return_rtl @return B->A: ret4_annotation_rtl }