1: \begin{abstract}

2: Let $\psi$ be a sentence in the counting monadic second-order logic

3: of matroids.

4: Let \mbb{F} be a finite field.

5: Hlin\v{e}n\'{y}'s Theorem says there is a

6: fixed-parameter tractable algorithm for testing whether

7: \mbb{F}-representable matroids satisfy $\psi$, with respect

8: to the parameter of branch-width.

9: In a previous paper we proved there is a similar

10: fixed-parameter tractable algorithm for any

11: efficiently pigeonhole class.

12: In this sequel we apply results from the first paper and

13: thereby extend Hlin\v{e}n\'{y}'s Theorem to the classes of

14: fundamental transversal matroids, lattice path matroids,

15: bicircular matroids, and \hgg\ matroids, when $H$ is a finite group.

16: As a consequence, we can obtain a new proof of

17: Courcelle's Theorem.

18: \end{abstract}

19: