contradiction
graph : Graph
start x✝ : Class graph
h : isCons nil = true
w✝¹ : Class.Child x✝
w✝ : Path graph (Class.Child.class w✝¹)
h✝ : nil = cons w✝¹ w✝
⊢ Option.isSome (prefix? nil) = true
no goals