type

The category of the detected logical issue, such as statements that are always true or always false.