Fix bug at translation from Redlog to C expression