let
init () = (do_register_predicates (); do_register_transforms ())