homomorphy_form (Membership t s r) = Membership t' s r
     where t' = homomorphy_term t
homomorphy_form (Membership t s r) = Membership t' s r
     where t' = homomorphy_term t
homomorphy_form (Membership t s r) = Membership t' s r
     where t' = homomorphy_term t