aslında bu bir sıkıntı değil tema kodlanması ile woocommercenin güncel sürümündeki değişkenlerin farklı olması ( $product->is_in_stock ) yani işin özü woo sürümünüz güncel, tema sürümüz eski. Temayı güncellerseniz sorun kalkacak.