Decidable instance for FinLTE