Fixed a bug for i199 where it would also check abstract clafers