For those who are unfamiliar with Rellic’s refinement passes, we provide descriptions of these passes followed by an example of how they refine the code. Original Refined if( 1U && x == 3) { foo(x); } if(x == 3) { foo(x); } if( x != 3 || x == 3 ) { foo(x); } if( 1U ) { foo(x); } Similar to the condition-based refinement pass, this one recognizes when successive if statements have exclusive but not opposite reaching conditions and rearranges them into if-else-if statements.