fixed stmt bind abstraction