# """,
 #     REST_GRAMMAR,
 #     semantic_predicates={LJUST_CROP_PREDICATE, EXTEND_CROP_PREDICATE},
 # )
 
-LENGTH_UNDERLINE = parse_isla("""
+LENGTH_UNDERLINE = parse_isla(
+    """
 forall <section-title> title="{<title-text> titletxt}\n{<underline> underline}" in start: (
   (>= (str.len underline) (str.len titletxt)) and
   str.len(titletxt) > 0
 )
-""")
+"""
+)
 
 DEF_LINK_TARGETS = parse_isla(
     """
 (forall <internal_reference> ref="<presep>{<id> use_id}_<postsep>" in start:
    exists <labeled_paragraph> labeled_par_1=".. _{<id> def_id}:\n\n<paragraph>" in start:

         LOGGER.debug(
             "%sRepairing tree '%s' with constraint '%s'",
             depth_indent(),
             tree,
             # constraint,
-            "TEMPORARILY DEACTIVATED"  # TODO
+            "TEMPORARILY DEACTIVATED",  # TODO
         )
         constraint = set_auto_subst_and_eval(constraint, False)
 
         # 1. Instantiate all quantifiers.
         instantiated = self.instantiate_quantifiers(constraint)