let compute_assignment_list rhs_session_id =
let assignment = assign_value rhs_session_id in
let compute_assignment (_,(y,z)) =
try
assignment y z;
(false,(y,z))
with
Not_found ->
(true,(y,z))
| Variable_has_no_mmap x ->
(true,(y,z))
in
List.map compute_assignment