Added the abstraction representation of Rauzy objects and relations