rej14: Fix null pointer when generating concretization string