We would like to thank Domenico Corapi 6, Srdjan Marinovic 7, Dr. Robert Craven 8, and Prof. Antonis Kakas 9 for testing and features suggestions.
