am bad712e2: Merge "More checker tests for BCE."

* commit 'bad712e2576631529381280e52e36905dda5f048':
  More checker tests for BCE.