Move MessageFilter block assignment to Lemma