A programmer's field guide to assertions