GnmFilter: add preconditions.