This includes various implementations of copy and clonable operations. Also, logical checking of model graphs is employed.