filterSmoothed function

First, remove claims where linear and non-linear terms appear in the same claim