import ../src/then

doAssert true
doAssert 1 == 1