Add new abstract machine