do { \
if (opt_do_node_verification == FIRM_VERIFICATION_ON) {\
if (!(expr) && current_ir_graph != get_const_code_irg()) \
do { \
if (opt_do_node_verification == FIRM_VERIFICATION_ON) {\
if (!(expr) && current_ir_graph != get_const_code_irg()) \
fprintf(stderr, #expr " : " string "\n"); \
else if (opt_do_node_verification == FIRM_VERIFICATION_ON) { \
if (!(expr) && current_ir_graph != get_const_code_irg()) \
fprintf(stderr, #expr " : " string "\n"); \
else if (opt_do_node_verification == FIRM_VERIFICATION_ON) { \
if (!(expr) && current_ir_graph != get_const_code_irg()) \