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