contract Other {
	C c;
	function h(bool b) public {
		if (b)
			c.setOwner(address(0));
	}
}
contract C {
	address owner;
	function setOwner(address _owner) public {
		owner = _owner;
	}
}
// ====
// SMTEngine: all
// ----
