askInline :: CoreFuncName -> CoreFuncName -> Terminate -> Bool
askInline within on t = logger t ("Skipped inlining of: " ++ on ++ " within " ++ within) $
    on `Set.notMember` inlined (get within t)
askInline :: CoreFuncName -> CoreFuncName -> Terminate -> Bool
askInline within on t = logger t ("Skipped inlining of: " ++ on ++ " within " ++ within) $
    on `Set.notMember` inlined (get within t)
askInline within on t = logger t ("Skipped inlining of: " ++ on ++ " within " ++ within) $
    on `Set.notMember` inlined (get within t)