add new regression tests: lifts, epsilon conjunct