if (!(enoughPushesSeen)) {LinearPrinter.warn("Insufficient pushes detected in filter");}
if (!(enoughPushesSeen)) {LinearPrinter.warn("Insufficient pushes detected in filter" + this.filterName);}
    public boolean computesLinearFunction() {        // check the flag (which is set when we hit a non linear function in a push expression)        // and check that we have seen the correct number of pushes.        boolean enoughPushesSeen = (this.pushSize == this.pushOffset); // last push was to pushSize-1        if (!(enoughPushesSeen)) {LinearPrinter.warn("Insufficient pushes detected in filter");}        // if both the non linear flag is unset and there are enough pushes, return true        return ((!this.nonLinearFlag) && enoughPushesSeen);    }