Timeout when using timestamp in require (runs instantly without) about oyente HOT 4 CLOSED

pragma solidity ^0.4.11;

contract T {
  uint sum0;
  uint sum1;
  
  function t(bool b, uint x) {
    require(x < 1000);
    
    if (b) {
      sum1 += x;
    }
    else {
      sum0 += x;
    }

  }
}

Traceback (most recent call last):
  File "symExec.py", line 765, in sym_exec_block
    sym_exec_block(left_branch, block, visited1, depth, stack1, mem1, global_state1, path_conditions_and_vars1, analysis1)
  File "symExec.py", line 740, in sym_exec_block
    sym_exec_block(successor, block, visited1, depth, stack1, mem1, global_state1, path_conditions_and_vars1, analysis1)
  File "symExec.py", line 740, in sym_exec_block
    sym_exec_block(successor, block, visited1, depth, stack1, mem1, global_state1, path_conditions_and_vars1, analysis1)
  File "symExec.py", line 693, in sym_exec_block
    sym_exec_ins(block, instr, stack, mem, global_state, path_conditions_and_vars, analysis)
  File "symExec.py", line 1677, in sym_exec_ins
    raise TypeError("Target address must be an integer")

000086: PUSH1 0x5e
000088: JUMPI
000089: PUSH1 0x00
000091: PUSH1 0x00
000093: Missing opcode 0xfd (REQUIRE!!)
000094: JUMPDEST

000086: PUSH1 0x5a
000088: JUMPI
000089: Missing opcode 0xfe (ASSERT!!)
000090: JUMPDEST