correctness checks for development

This check currently fails on some examples. BDD restriction needs to be
corrected.