constraints and process from building a certification argument
Carmen has delivered to Levi and Saad a list of constraints that are needed to build a process for a certification argument.
The constraints and the process should be implemented using AF3s process infrastructure.
(from redmine: issue id 3117, created on 2017-10-24)