Algorithm slightly modified

and correctness of articulation points established.
Last articulation point is a by-product that can be safely taken out