./jayhorn -j tmp


--------------------------------------------------------------------------------


[root] - 		 ---   JAYHORN : Static Analayzer for Java Programs ---- 
[root] - 	 Verification : safety
[root] - 	 Solver : eldarica
[root] - Building CFG  ... 
TODO: 1 traps could not be removed for <Main: void main(java.lang.String[])>
[root] - Safety Verification ... 
[root] - Hornify  ... 
[root] - Transform Program Methods into Horn Clauses ... 
[root] - Running from entry point: <Main: void main(JayArray_java_lang_String)>
[root] - Safety Result ... UNSAFE