handle timeouts for kget in postcondition