s/get_clause(/get_topform(/g
s/free_clause(/free_topform(/g


