* In IR code below, we are representing the two states as 1 and 2. Any
* two values are good enough (even true and false), but 1 and 2 is simple
* enough and also makes the IR output readable
* ---------------------------------------------------------------------- */
Fixnum s1 = new Fixnum((long)1);
Fixnum s2 = new Fixnum((long)2);
// Create a variable to hold the flip state
IRScope nearestNonClosure = s.getNearestFlipVariableScope();
Variable flipState = nearestNonClosure.getNewFlipStateVariable();
nearestNonClosure.initFlipStateVariable(flipState, s1);