[PD] EHU-abstractions new version