Add symbolic evaluation for is_list/1