genltl should learn the liberouter formulas
Add an option to genltl to output these formulas https://gitlab.fi.muni.cz/xblahoud/LTL3HOA_experiments/blob/6e976780b0e1df9c384d250e520357ea0caf0315/formulae/liberouter.ltl and cite http://www.fi.muni.cz/~xrehak/publications/verificationresults.ps.gz