Biomorphic abstract related domains (2)