use more specific names in rewriting/balanced_int RW system
use more specific names in rewriting/balanced_int RW system

c-cube/zipperposition,c-cube/logtk,c-cube/zipperposition,c-cube/logtk,c-cube/zipperposition,c-cube/zipperposition