Multicompatibility for multiparty-session composition by Barbanera, F, Dezani-Ciancaglini, M, Gheri, L, Yoshida, N