Add generation of terms and identities of given size
Change input format of identity from two strings to one string with '='