Implements some concepts of a compiler's optimization.