Fix wrong inference on preg_match != false

Fix wrong inference on preg_match != false #12397