Fix inject bug and prepare to constant fold constraints