As a user,

i want to use the eggloop.jar in the following way.
If i write eggloop.jar -trajectory trajectory.json -formula ALL -output results.txt,
where trajectory.json is a single trajectory than i want the Boolean satisfiability of all the temporal formulas of kind F_I(X>k) , G_I(X>k) F_IG_J(X>k) in the file results.txt.