Make all variables symbolic in insertion sort test