(= (Inverse Last-Node-Of) Last-Node) (<=> (Last-Node ?A ?B) (And (Flow-Chart ?A) (Flow-Chart-Component ?B)))