The Abstruction Facility di AbstructA