Add default effectiveSubstatements() implementation