contract C { 
  bytes32 example = "abcdef123";
  bool state;

  function f(bytes32 bs) public {
    if (bs[0] == "a" && bs[1] == "b" && bs[2] == "c" && bs != example)
        state = true;
  }

  function echidna_mutated() public returns (bool) {
    return !state;
  }

}