Adding instruction abstraction