Problem: the eval cannot be reduced for now (problem of opaque terms?)
Assembler with one instruction and a simple example