Відправити по sms: Compositional Shape Analysis by means of Bi−abduction