Supporting document to the paper "Logical limit laws for minor-closed   classes of graphs"
  We provide a hand-checkable proof for Lemma 4.9 in the paper "Logical limit laws for minor-closed classes of graphs" by Heinig, Muller, Noy and Taraz. 
Peter Heinig, Tobias Muller, Anusch Taraz
math.CO math.LO math.PR