fixed a bug in the synthesis from acyclic LTS

If the LTS is acyclic it has no fundamental cycles,
thus the matrix of the Parikh vectors of its fundamental
cycles is empty. This condition needs to be checked before
trying to compute the generating set of the null space of
this matrix.