getCalls :: Readable (Local s) => SiteState s -> FunName -> IO [FunName]
getCalls siteState fun =
  do ps <- funLevelPreds siteState fun
     return (Map.keys (lpredCalls ps))
  `catch` \SomeException {} -> return []
getCalls :: Readable (Local s) => SiteState s -> FunName -> IO [FunName]
getCalls siteState fun =
  do ps <- funLevelPreds siteState fun
     return (Map.keys (lpredCalls ps))
  `catch` \SomeException {} -> return []
getCalls siteState fun =
  do ps <- funLevelPreds siteState fun
     return (Map.keys (lpredCalls ps))
  `catch` \SomeException {} -> return []