iterated realizability tests implemented in JTLV