Exit unexpectedly when errexit is enabled about smoosh HOT 3 CLOSED

$ tests/cmp/test.sh 'pe() { echo 0; }; false; pe'
      smoosh: OUT [1] ERR [] EC [0]
  bash-posix: OUT [1] ERR [] EC [0]
        bash: OUT [1] ERR [] EC [0]
        dash: OUT [1] ERR [] EC [0]
   zsh-posix: OUT [1] ERR [] EC [0]
         zsh: OUT [1] ERR [] EC [0]
         osh: OUT [1] ERR [] EC [0]
        mksh: OUT [1] ERR [] EC [0]
         ksh: OUT [1] ERR [] EC [0]
  yash-posix: OUT [1] ERR [] EC [0]
        yash: OUT [1] ERR [] EC [0]

diff --git a/src/semantics.lem b/src/semantics.lem
index d838ca4..e8a221f 100644
--- a/src/semantics.lem
+++ b/src/semantics.lem
@@ -894,13 +894,18 @@ and step_eval s0 checked stmt =
         not opts.force_simple_command && 
         not (is_interactive s1)) (* per table in 2.8.1 *)
      in
+     let is_call stms =
+       match stms with
+       | Call _ _ _ _ _ -> true
+       | _ -> false
+     end in
      (* load exported variables, perform assignments *)
      let env = Map.fromList assigns in
      match run_command s1 opts checked prog args env with
      | Right (s2, stmt', restore) -> 
         (XSSimple ("ran " ^ string_of_symbolic_string prog), 
          s2, 
-         if catching_errors && s2.sh.exit_code <> 0
+         if catching_errors && s2.sh.exit_code <> 0 && not (is_call stmt')
          then Exit
          else if restore 
          then pushredir stmt' saved_fds 

$ set -e
$ false && true; /usr/bin/true
[EXIT]