SAV Project: Proving Correctness of Scala Lists Data Structure