integrated new Permuter in argument generation