Abstract syntax: Instruccion implemented