Sometimes I dream of a argument recogniser that just maps out an argument on an argument map and hashes it out more or less like you just did. With the goal of not endless rehashing of the same iteration like some stuck genetic algo in a local optima, but rather moving forward as some kind of warm start.