The Abstruction Facility par AbstructA