Revert "Simplify after PHP 8.4.1 release"

This reverts commit 8da3b58.

Author: sebastianbergmann

src/Framework/MockObject/Generator/Generator.php

@@ -12,7 +12,6 @@
 use const PHP_EOL;
 use const PHP_MAJOR_VERSION;
 use const PHP_MINOR_VERSION;
-use const PHP_VERSION;
 use const PREG_OFFSET_CAPTURE;
 use const WSDL_CACHE_NONE;
 use function array_merge;
@@ -29,6 +28,7 @@
 use function is_array;
 use function is_object;
 use function md5;
+use function method_exists;
 use function mt_rand;
 use function preg_match;
 use function preg_match_all;
@@ -42,7 +42,6 @@
 use function strpos;
 use function substr;
 use function trait_exists;
-use function version_compare;
 use Exception;
 use Iterator;
 use IteratorAggregate;
@@ -69,6 +68,7 @@
 use ReflectionClass;
 use ReflectionMethod;
 use ReflectionObject;
+use ReflectionProperty;
 use SebastianBergmann\Type\ReflectionMapper;
 use SebastianBergmann\Type\Type;
 use SoapClient;
@@ -1218,7 +1218,7 @@ private function configurableMethods(MockMethodSet $methods, array $propertiesWi
      */
     private function properties(?ReflectionClass $class): array
     {
-        if (version_compare('8.4.1', PHP_VERSION, '>')) {
+        if (!method_exists(ReflectionProperty::class, 'isFinal')) {
             // @codeCoverageIgnoreStart
             return [];
             // @codeCoverageIgnoreEnd
@@ -1232,6 +1232,12 @@ private function properties(?ReflectionClass $class): array
         $properties = [];
 
         foreach ($class->getProperties() as $property) {
+            assert(method_exists($property, 'getHook'));
+            assert(method_exists($property, 'hasHooks'));
+            assert(method_exists($property, 'hasHook'));
+            assert(method_exists($property, 'isFinal'));
+            assert(class_exists(PropertyHookType::class));
+
             if (!$property->isPublic()) {
                 continue;
             }