Demo for Behaviour Driven Development with Cedar