Support polystat division by zero example

[tdv42]

https://github.com/polystat/polystat-cli#unanticipated-mutual-recursion

https://github.com/polystat/j2eo/tree/master/src/test/resources/awesome_bugs

https://github.com/polystat/awesome-bugs/tree/master/tests

[dours]

Currently the problem is that the polystat analyzer does not see objects from other files. For example, I have an object pyint in file preface/pyint.eo as a part of my support library. It is referenced as alias pyint preface.pyint in the main file, but polystat throws "java.lang.Exception: Could not set locator for non-existent object with name "pyint" "

[tdv42]

Need here link to issue for polystat

Need to try to put the preface/pyint.eo in generated EO file and try again

[tdv42]

Need here link to issue for polystat
polystat/polystat#58

[tdv42]

polystat/far#13

[tdv42]

We need to simplify example by libs removal as possible

[tdv42]

is now blocked by polystat/far#15