ADD: Tried to write a test generator. It's hastily made and generates stuff that may or may not be correct. I'll have to do more testing regarding that later...