appserver-io / doppelgaenger

        // Now lets register and append the filters if they are mapped to a 1

        // Lets have a look at the precondition filter first

        if (isset($levelArray[0]) && $levelArray[0] == 1) {

            // Do we even got any preconditions?

            $filterNeeded = false;

            $iterator = $structureDefinition->getFunctionDefinitions()->getIterator();

            foreach ($iterator as $functionDefinition) {

                if ($functionDefinition->getAllPreconditions()->count() !== 0) {

                    $filterNeeded = true;

                    break;

                }

            }

            if ($filterNeeded) {

                $filters['PreconditionFilter'] = $this->appendFilter(

                    $res,

                    'AppserverIo\Doppelgaenger\StreamFilters\PreconditionFilter',

                    $structureDefinition->getFunctionDefinitions()

                );

            }

        }

        // What about the post-condition filter?

        if (isset($levelArray[1]) && $levelArray[1] == 1) {

        }

        // What about the post-condition filter?

        if (isset($levelArray[1]) && $levelArray[1] == 1) {

            // Do we even got any post-conditions?

            $filterNeeded = false;

            $iterator = $structureDefinition->getFunctionDefinitions()->getIterator();

            foreach ($iterator as $functionDefinition) {

                if ($functionDefinition->getAllPostconditions()->count() !== 0) {

                    $filterNeeded = true;

                    break;

                }

            }

            if ($filterNeeded) {

                $filters['PostconditionFilter'] = $this->appendFilter(

                    $res,

                    'AppserverIo\Doppelgaenger\StreamFilters\PostconditionFilter',

                    $structureDefinition->getFunctionDefinitions()

                );

            }

        }

        // What about the invariant filter?

        if (isset($levelArray[2]) && $levelArray[2] == 1) {