[PD] limit in number of sssad abstraction