-- Functions for determining termination

isLoop :: Eq a => SizeChangeGraph a b -> Bool
isLoop (f, _, g) = f == g
isLoop :: Eq a => SizeChangeGraph a b -> Bool
isLoop (f, _, g) = f == g
isLoop (f, _, g) = f == g