Add init(arg) to STMT_call precondition for each arg.

1 files changed, 11 insertions, 2 deletions

diff --git a/src/boot/me/typestate.ml b/src/boot/me/typestate.ml
index 2c0c4b15..50586004 100644
--- a/src/boot/me/typestate.ml
+++ b/src/boot/me/typestate.ml
@@ -365,8 +365,17 @@ let condition_assigning_visitor
               let constrs =
                 Array.map (apply_names_to_constr names) formal_constrs
               in
-              let keys = Array.map (resolve_constr_to_key None) constrs in
-                raise_precondition s.id keys
+              let constr_keys = Array.map (resolve_constr_to_key None) constrs in
+              let arg_init_keys =
+                Array.concat
+                  (Array.to_list
+                     (Array.map
+                        (fun arg ->
+                           slot_inits (atom_slots cx arg))
+                        args))
+              in
+                raise_precondition s.id arg_init_keys;
+                raise_precondition s.id constr_keys
           | _ -> ()
       end;
       begin