Assertion is added to Rebeca core