Did you mean (for hets): checkAcyclic   checkCalculi   check_minimal   checkForFormulas   checkNull  

Your search defs:check_circular did not match any files.
Suggestions: