{-
Test if a given name occurs as a free variable in an expression
Used to resolve naming issues with foralls
-}
occursIn :: Name -> Expression -> Bool
occursIn n (IntLit e) = False
occursIn :: Name -> Expression -> Bool
occursIn n (IntLit e) = False
occursIn n (IntLit e) = False