callGraph' f (TEApp _ (TEUnfold _ _) [arg])             = callGraph' f arg
callGraph' f (TEApp _ (TEUnfold _ _) [arg])             = callGraph' f arg
callGraph' f (TEApp _ (TEUnfold _ _) [arg])             = callGraph' f arg