Fix IS sematic.
Fix for checking instantiation of record with having methods.