re-enable 'decompose' in firefighting/specinLTL.spec example.  This is a work-around pending specCompiler/mapProcessing refactoring.