Optimization in MSO encoding
Adapted Hamiltonian Cycle encodings to gringo 4 syntax