pragma solidity ^0.4.0;

contract SecureTargetMock {
  function checkInvariant() returns(bool){
    return true;
  }
}