fixed bug in I/O builtins when returning K
fixed merge
Merge pull request #470 from kframework/unified-builtins-test

fixed bug in I/O builtins when returning K