Bug fixed in SyntacticalAnalysis; comments in TestSynAna