abst_typedef /*@null@*/ struct _aliasTable *aliasTable;
abst_typedef /*@null@*/ struct __fileloc *fileloc;
-//abst_typedef /*@null@*/ struct _environmentTable *environmentTable;
abst_typedef struct _constraint *constraint;
abst_typedef struct _constraintList *constraintList;