Analyze

CheckInductive
Mod_checking
CheckTypes
Safe_checking
Values
Validate
Check
Check_stat
Checker