Stable

BMC heuristic and test domains.