On the Expression of Graph Properties in some Fragments of Monadic Second-Order Logic