Enviar aquest missatge de text: Compositional Shape Analysis by means of Bi−abduction