performSSA :: MonadOhua m => Expression -> m Expression
performSSA = flip runReaderT mempty . ssa
performSSA :: MonadOhua m => Expression -> m Expression
performSSA = flip runReaderT mempty . ssa
performSSA = flip runReaderT mempty . ssa