Text this: Compositional Shape Analysis by means of Bi−abduction