BadToken.sol

interface Token {
  function transfer() returns (bool);
}

contract GoodToken {
  function transfer() returns (bool) { return true; }
}

contract BadToken {
  function transfer() {}
}

contract Wallet {
  function transfer(address token) {
    require(Token(token).transfer());
  }
}