Store the integer value of constants in the IR.
Only update the automaton if we match the condition.