bugfix in scopedTerm.DB.open_vars (shift variables!)
bugfix in scopedTerm.DB.open_vars (shift variables!)

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