parser.instances.checker
Interfaces 
IOptimChecker
IStatusChecker
Classes 
OptimSChecker
SatSChecker
SCheckFactory