testgen: implemented narrowing for isKResult predicate
minor change
testgen: fixed a known bug due to misuse of getGLBSort