BDD: removed redundant check's