Checking examples
Fixed empty bcs