Assertion regex backend implemented.