Improved LTL error messages