filter inconsistent configurations

also, check_ts_formula will not fail when the (ts, formula) pair
is inconsistent