Gazelle: Statements [Dyn Module, dev.]