(assert [Name] expr)
(assert-fails ["Name"] expr)