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
Merge branch 'unified-builtins2' into javaflattenTerms
move flattenTerms before ResolveHybrid and delete termcons in ResolveContextAbstraction