for A being preIfWhileAlgebra holds EmptyIns A nin ElementaryInstructions A