clean up tests to reduce duplication
instructions are concrete
load instructions from the class loader only
extract instruction factory
symbolic execution of adds