:- module(rename_functor, [rename_functor/1]).

rename_functor('$sb'(_, _, _, _, _, '$sb'(_, _, _, _, _, _))).