===========================================================
                                      .___ __  __   
          _________________  __ __  __| _/|__|/  |_ 
         / ___\_` __ \__  \ |  |  \/ __ | | \\_  __\
        / /_/  >  | \// __ \|  |  / /_/ | |  ||  |  
        \___  /|__|  (____  /____/\____ | |__||__|  
       /_____/            \/           \/           
              grep rough audit - static analysis tool
                  v2.8 written by @Wireghoul
=================================[justanotherhacker.com]===
spass-3.9/analyze.c-55-
spass-3.9/analyze.c:56:BOOL* ana_GetFeatureAddr(ANALYZE Ana, ANA_FEATUREID id)
spass-3.9/analyze.c-57-{
##############################################
spass-3.9/analyze.c-249-    if (!ana_GetFeature(Ana,ana_MONADIC) || !ana_GetFeature(Ana,ana_NONMONADIC) || !ana_GetFeature(Ana,ana_PROP) || !ana_GetFeature(Ana,ana_GROUND))
spass-3.9/analyze.c:250:      clause_ContainsFolAtom(Clause,ana_GetFeatureAddr(Ana,ana_PROP),ana_GetFeatureAddr(Ana,ana_GROUND),ana_GetFeatureAddr(Ana,ana_MONADIC),ana_GetFeatureAddr(Ana,ana_NONMONADIC));
spass-3.9/analyze.c-251-
##############################################
spass-3.9/analyze.c-265-    if (!ana_GetFeature(Ana,ana_SORTRES) || !ana_GetFeature(Ana,ana_USORTRES)) 
spass-3.9/analyze.c:266:      clause_ContainsSortRestriction(Clause,ana_GetFeatureAddr(Ana,ana_SORTRES),ana_GetFeatureAddr(Ana,ana_USORTRES));
spass-3.9/analyze.c-267-
##############################################
spass-3.9/analyze.h-107-BOOL    ana_GetFeature(ANALYZE, ANA_FEATUREID);
spass-3.9/analyze.h:108:BOOL*   ana_GetFeatureAddr(ANALYZE, ANA_FEATUREID);
spass-3.9/analyze.h-109-void    ana_SetFeature(ANALYZE, ANA_FEATUREID, BOOL);
##############################################
spass-3.9/tptpparser.y-469-include : _LIT_include LPAREN file_name formula_selection RPAREN PERIOD {
spass-3.9/tptpparser.y:470:  tptp_HandleInclude($3,$4); /*Handling is also responsible for freeing the strings, so we have nothing to pass on.*/
spass-3.9/tptpparser.y-471-}