hop(_48156,_48154)). time=0.0004961490631103516. passed=passed=info(why_was_true(user:(edge(_21462,_21462)==>hop(_21462,_21462)))) no_proof_for((edge(X,X)==>hop(X,X))). no_proof_for((edge(X,X)==>hop(X,X))). no_proof_for((edge(X,X)==>hop(X,X))). result=passed. ]]>