added tests that show bug in current implementation: ConsistentInputOutputTest ValidateFromGeneratedInputTest (currently both tests fail)