\stopitemize
Unfortunately, the final transformation system has only been
developed in the final part of the research, leaving no more time
for verifying these properties. In fact, it is likely that the
current transformation system still violates some of these
\stopitemize
Unfortunately, the final transformation system has only been
developed in the final part of the research, leaving no more time
for verifying these properties. In fact, it is likely that the
current transformation system still violates some of these