Now assume that sequential composition is wrongly interprete…

Now assume that sequential composition is wrongly interpreted by the code let rec commExec: commC -> environment -> runTimeState -> runTimeState =  fun cmd env state ->   match state with      (sto,inp,outp) ->   match cmd with         …   | SeqC([]) -> state   | SeqC(cmd1 :: cmds) ->        commExec cmd1 env (commExec (SeqC cmds) env state) Write the list that is then the result of interpreting (on an empty input list) the program  var x;  x = 1;  write x;  x = 3;  write x;  x = 5