Improve inv_all/inv_all_var test cases