*
* @return collection of all effective substatements.
*/
- @NonNull Collection<? extends EffectiveStatement<?, ?>> effectiveSubstatements();
+ @NonNull Collection<? extends @NonNull EffectiveStatement<?, ?>> effectiveSubstatements();
/**
* Find the first effective substatement of specified type.