for A being Universal_Algebra holds not signature A is empty