badclass.err line 10: A class may only have one 'match if' clause.