fix typo in speccompiler
catch error if LTL to spec mapping fails