We don't just consider that subtree. Read the example solution carefully; it just makes an abbreviation of a subtree first which is used later, and then starts the computation with Exists(e3,b_phi) where e3 is node b, and then it finally explains how to compute Exists(e2,a_phi) where e2 is the given BDD.
