Вы в своем первом посте задали вопрос, Вам многие люди дали конкретные и правильные рекомендации, начать с карты регистров, задокументировать это. Вопрос простой и ответ очевиден, особенно если во всех 20 - и пр 100 однотипная программа.
Даже если и различные, отдали эти задания программистам и пусть делают, каждый свою задачу, в чем проблема? Вся это ваша идея по автоматической верификации, только необоснованно усложнит все, в итоге путаница будет ещё та.