package SpecializedAbstractionAIF;
use strict;
use base qw(AbstractionIF);

sub a { die; }
1;