overload virtual deconstructors
binding sites are now represented as 'A(bs^1).B(bs^1)'