for A being preIfWhileAlgebra holds Generators A c= ElementaryInstructions A