Remove comments in Decidable.Decidable