Evidence Generator for bLeaf