[ ] It will also show if there are some instructions that are not implemented correctly. It implies writing quickly testing for each instruction (danny can take care of it in parallel of the tasks below when the rest of the team integrate decomposable folding).