open fun holds(): Boolean
Overrides IAssertion.holds
Always true since it should not matter whether an IExplanatoryAssertion holds or not.