[48366] Failed to execute script irankfinder
Traceback (most recent call last):
  File "irankfinder.py", line 374, in <module>
  File "irankfinder.py", line 223, in launch
  File "irankfinder.py", line 251, in analyse
  File "termination/__init__.py", line 81, in analyse
  File "partialevaluation/__init__.py", line 59, in control_flow_refinement
  File "partialevaluation/__init__.py", line 97, in partialevaluate
  File "partialevaluation/__init__.py", line 148, in set_props
  File "partialevaluation/__init__.py", line 266, in johns_props1
Exception: b'{ERROR: No handle found for thrown error ppl_invalid_argument(found(v_y_P1_P1),expected(linear_expression_or_constraint),where(ppl_new_NNC_Polyhedron_from_constraints/2))}\n'
method 1