Lemma filter

Test if this PR cause travis auto build