add an option for smashing recursive fields only for statements in SCCs or loops