Improved version of the code wherein different variants of meaningful
statements can be returned.