refactor analysis facade
Refactor the classes ModelCheckingAnalysis and OCRAAnalysis
(from redmine: issue id 3106, created on 2017-10-17)
Refactor the classes ModelCheckingAnalysis and OCRAAnalysis
(from redmine: issue id 3106, created on 2017-10-17)