let no_binding _ = SemanticUnrollingLevel.get ()