Abstraction of Stax for GateIn