This rule detects public method or constructor definitions that declare a parameter used inside, but there is no previous validity check performed on it. Any use of the parameter inside an if or assert condition will be understood as a validity check.