Added BMC example case.