hasAllConstructors
Determines whatever the declaration has all constructors with the specified predicate.
Note that if the constructors contains no elements, the function returns true
because there are no elements in it that do not match the predicate ("Vacuous truth").
Return
true
if the declaration has all constructors with the specified predicate, false
otherwise.
Parameters
predicate
The predicate function to determine if a constructor satisfies a condition.