Fixed SelfType#is_restriction_of?