pragma solidity ^0.4.0;

contract InsecureTargetMock {
  function checkInvariant() returns(bool){
    return false;
  }
}