pragma solidity ^0.4.16;

contract Test {
  bool private flag0=true;
  bool private flag1=true;

  function set0(int val) private returns (bool){
    if (val % 10 == 0) {flag0 = false;}
  }
  function set1(int val) private returns (bool){
    if (val % 10 == 0 && flag0) {flag1 = false;}
  }
  function echidna_alwaystrue() public pure returns (bool){
    return(true);
  }
  function echidna_sometimesfalse() public view returns (bool){
    return(flag0 || flag1);
  }
}