Goal:
  
  ============================
   (nth_error (true :: ?l) 1 = Some false)


DEBUG:Going to execute:
change (nth_error xs n = rhs)