Example-driven testing with easyb