Replace assertions with a custom 'check'.
Add a PBE test.