Automatalib function sorting & commenting. Functions pruned.