* Fixed matching bug for IS_A operator