updated the linked_list_mr_solver.saw test case to prove that is_elem refines a cryptol version of its specification
updated the linked_list_mr_solver.saw test case to prove that is_elem refines a cryptol version of its specification

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script