Fixed case of InstanceOf constraint