PHI instruction need arguments but 0 was given

[gsalzer]

$ cat demo.hex
606060405263ffffffff60e060020a600035041663303773f0811461005057806366c19bcd1461005d5780639ff3faf01461008a578063e3f09bfd146100a7578063e80423c8146100c4575b600080fd5b61005b6004356100e1565b005b6100706004356024356044351515610475565b604051911515825260208201526040908101905180910390f35b61009560043561055a565b60405190815260200160405180910390f35b610095600435610588565b60405190815260200160405180910390f35b6100956004356105d1565b60405190815260200160405180910390f35b805460001901600080808080806100f78761061a565b95508594505b60008610610279578594506101118661062f565b93505b86841161026157836001019250849150878481548110151561013257fe5b906000526020600020900160005b5054888381548110151561015057fe5b906000526020600020900160005b5054101561016a578391505b8683111580156101b35750878381548110151561018357fe5b906000526020600020900160005b505488838154811015156101a157fe5b906000526020600020900160005b5054105b156101bc578291505b848214156101cf5786600101935061025c565b87828154811015156101dd57fe5b906000526020600020900160005b5054905087858154811015156101fd57fe5b906000526020600020900160005b5054888381548110151561021b57fe5b906000526020600020900160005b50558754819089908790811061023b57fe5b906000526020600020900160005b505590935083906102598261062f565b93505b610114565b85151561026d57610279565b6001860395505b6100fd565b5b600087111561046a57878781548110151561029157fe5b906000526020600020900160005b505490508760008154811015156102b257fe5b906000526020600020900160005b505488888154811015156102d057fe5b906000526020600020900160005b505587548190899060009081106102f157fe5b906000526020600020900160005b505560001990960195600094506103158561062f565b93505b86841161046557836001019250849150878481548110151561033657fe5b906000526020600020900160005b5054888381548110151561035457fe5b906000526020600020900160005b5054101561036e578391505b8683111580156103b75750878381548110151561038757fe5b906000526020600020900160005b505488838154811015156103a557fe5b906000526020600020900160005b5054105b156103c0578291505b848214156103d357866001019350610460565b87828154811015156103e157fe5b906000526020600020900160005b50549050878581548110151561040157fe5b906000526020600020900160005b5054888381548110151561041f57fe5b906000526020600020900160005b50558754819089908790811061043f57fe5b906000526020600020900160005b5055909350839061045d8261062f565b93505b610318565b610279565b5b5050505050505050565b60008084606052826001811461049057801561051757610550565b60018654036000805b82811161050f57600283820104915087826020606020015410600181146104c55780156104d057610508565b600183019150610508565b88836020606020015411600181146104ed5780156104f857610506565b600184039450610506565b600197508396506001850192505b505b505b610499565b505050610550565b60005b865481101561054e57858160206060200154146001811461053a57610544565b8754600195509193505b505b60010161051a565b505b505b935093915050565b60008160605260005b8254811015610581578181602060602001540191505b600101610563565b505b919050565b6060818152602090205460005b82548110156105815781816020606020015411600181146105b5576105c0565b816020606020015492505b505b600101610595565b505b919050565b6060818152602090205460005b82548110156105815781816020606020015411600081146105fe57610609565b816020606020015492505b505b6001016105de565b505b919050565b600060001982016002815b0491505b50919050565b6002810260018101905b509190505600a165627a7a72305820ecafc24ab7c50bab3e5325c7118f96145c4d34facbb1469f40923ff50c1a23610029
$ python conkas.py demo.hex
Analysing demo.hex...
PHI instruction need arguments but 0 was given

Traceback (most recent call last):
  File "conkas.py", line 108, in main
    traces = sym_exec.execute()
  File "/data-hdd/ethereum/tools/conkas/sym_exec/symbolic_executor.py", line 51, in execute
    new_traces = self.__sym_exec_traces(traces_to_execute)
  File "/data-hdd/ethereum/tools/conkas/sym_exec/symbolic_executor.py", line 64, in __sym_exec_traces
    new_blocks = self.__sym_exec_block(block_to_analyse, trace.state)
  File "/data-hdd/ethereum/tools/conkas/sym_exec/symbolic_executor.py", line 93, in __sym_exec_block
    new_blocks = self.__sym_exec_instruction(instruction, state)
  File "/data-hdd/ethereum/tools/conkas/sym_exec/symbolic_executor.py", line 116, in __sym_exec_instruction
    return func(instruction, state)
  File "/data-hdd/ethereum/tools/conkas/sym_exec/instructions/rattle_instructions.py", line 58, in inst_phi
    raise Exception
Exception