[hectorlorenzo]

Maybe you do not even need to write tests: they are just additional cells with prompts aimed at generating fuzzy testing against logic cells.