In this section we show that the model checking problem of FO over a class of
structures with bounded expansion can be done in time linear in the size of the
structure. This gives a new proof of the result of [1]}.
Recall that by Lemma REF  it is enough to consider
oriented graphs viewed as functional structures.
