WIP: new implementation of testing instructions

Sort of working. The LogicalExpression in expression context does
not work.