[ernesth]

Here, the x() and y() are assignments, so it's easy:

    ret = 0; //y()
    if (A)
    if (B)
        ret = 1; //x()

If the else statement is more involved, it gets difficult.