A BDD-style assertion library for .NET