diff --git a/src/Psalm/Internal/Analyzer/Statements/Expression/Call/FunctionCallAnalyzer.php b/src/Psalm/Internal/Analyzer/Statements/Expression/Call/FunctionCallAnalyzer.php
index 93d3ae596..3af53cd88 100644
--- a/src/Psalm/Internal/Analyzer/Statements/Expression/Call/FunctionCallAnalyzer.php
+++ b/src/Psalm/Internal/Analyzer/Statements/Expression/Call/FunctionCallAnalyzer.php
@@ -660,6 +660,16 @@ class FunctionCallAnalyzer extends \Psalm\Internal\Analyzer\Statements\Expressio
                     $codebase
                 );
 
+                $cond_assigned_var_ids = [];
+
+                \Psalm\Internal\Analyzer\AlgebraAnalyzer::checkForParadox(
+                    $context->clauses,
+                    $assert_clauses,
+                    $statements_analyzer,
+                    $stmt,
+                    $cond_assigned_var_ids
+                );
+
                 $simplified_clauses = Algebra::simplifyCNF(array_merge($context->clauses, $assert_clauses));
 
                 $assert_type_assertions = Algebra::getTruthsFromFormula($simplified_clauses);
@@ -674,7 +684,12 @@ class FunctionCallAnalyzer extends \Psalm\Internal\Analyzer\Statements\Expressio
                         $assert_type_assertions,
                         $context->vars_in_scope,
                         $changed_var_ids,
-                        [],
+                        array_map(
+                            function ($v) {
+                                return true;
+                            },
+                            $assert_type_assertions
+                        ),
                         $statements_analyzer,
                         $statements_analyzer->getTemplateTypeMap() ?: [],
                         $context->inside_loop,
diff --git a/tests/TypeReconciliation/EmptyTest.php b/tests/TypeReconciliation/EmptyTest.php
index b6f7f2411..912fdd6f0 100644
--- a/tests/TypeReconciliation/EmptyTest.php
+++ b/tests/TypeReconciliation/EmptyTest.php
@@ -429,13 +429,12 @@ class EmptyTest extends \Psalm\Tests\TestCase
                     }',
                 'error_message' => 'MixedReturnTypeCoercion'
             ],
-            'SKIPPED-secondEmptyTwice' => [
+            'secondEmptyTwice' => [
                 '<?php
                     /**
                      * @param array{a?:int,b?:string} $p
-                     * @return non-empty-array
                      */
-                    function f(array $p):array {
+                    function f(array $p) : void {
                         if (empty($p)) {
                             throw new RuntimeException("");
                         }