Avoid double nesting of ICFs