Add type inherit in class guard
Bug fix for benchmark/tt13.rb (with overflow). But very slow