krash

fluent assert for validation of invariants before assignment