Step 1 of smarter instruction
Add collapsing
Add blind test function