(=> (Last-Node-Of ?A ?B) (Not (Exists (?W) (And (Flow-Chart-Component ?W) (Diagram-Successor ?A ?W)))))