for A being preIfWhileAlgebra
for C, I being Element of A holds while (C,I) nin ElementaryInstructions A