rewrote test oracle
removed obsolete code
added initial readable printing of the system state