Hello, to be more concise about my last question: Is there a good way in klee to concretise symbolic variables, i.e. make symbolic variables concrete? Best regards, Andreas