A81: Nodes<Defn>   LOCATION   A1: TypDefn id   LOCATION   A0: NameType T   LOCATION   A3: VarDefn id   LOCATION   A2: NameType T   LOCATION   A24: ExtFunDefn id   LOCATION   A23: Nodes<ParDefn>   LOCATION   A20: ParDefn par1   LOCATION   A19: UniType   LOCATION   A18: Nodes<CompDefn>   LOCATION   A6: CompDefn a   LOCATION   A5: UniType   LOCATION   A4: Nodes<CompDefn>   LOCATION   A17: CompDefn b   LOCATION   A16: FunType   LOCATION   A15: Nodes<Type>   LOCATION   A13: UniType   LOCATION   A12: Nodes<CompDefn>   LOCATION   A11: CompDefn a   LOCATION   A10: StrType   LOCATION   A9: Nodes<CompDefn>   LOCATION   A8: CompDefn g   LOCATION   A7: AtomType INT   LOCATION   A14: AtomType BOOL   LOCATION   A22: UniType   LOCATION   A21: Nodes<CompDefn>   LOCATION   A80: DefFunDefn id   LOCATION   A77: Nodes<ParDefn>   LOCATION   A25: AtomType VOID   LOCATION   A79: Exprs   LOCATION   A78: Nodes<Expr>   LOCATION   A27: PfxExpr NOT   LOCATION   A26: AtomExpr true   LOCATION   A29: PfxExpr ADD   LOCATION   A28: AtomExpr 100   LOCATION   A31: PfxExpr SUB   LOCATION   A30: AtomExpr 100   LOCATION   A34: BinExpr ADD   LOCATION   A32: AtomExpr 1   LOCATION   A33: AtomExpr 2   LOCATION   A37: BinExpr SUB   LOCATION   A35: AtomExpr 1   LOCATION   A36: AtomExpr 3   LOCATION   A40: BinExpr MUL   LOCATION   A38: AtomExpr 1   LOCATION   A39: AtomExpr 3   LOCATION   A43: BinExpr MUL   LOCATION   A41: AtomExpr 4   LOCATION   A42: AtomExpr 22   LOCATION   A46: BinExpr DIV   LOCATION   A44: AtomExpr 5   LOCATION   A45: AtomExpr 2   LOCATION   A49: BinExpr MOD   LOCATION   A47: AtomExpr 35   LOCATION   A48: AtomExpr 23   LOCATION   A52: BinExpr AND   LOCATION   A50: AtomExpr true   LOCATION   A51: AtomExpr false   LOCATION   A55: BinExpr OR   LOCATION   A53: AtomExpr false   LOCATION   A54: AtomExpr true   LOCATION   A58: AsgnExpr   LOCATION   A56: NameExpr assignme   LOCATION   A57: AtomExpr 1   LOCATION   A61: BinExpr EQU   LOCATION   A59: NameExpr a   LOCATION   A60: NameExpr b   LOCATION   A64: BinExpr GEQ   LOCATION   A62: AtomExpr 234   LOCATION   A63: AtomExpr 123   LOCATION   A67: BinExpr LTH   LOCATION   A65: AtomExpr 23   LOCATION   A66: AtomExpr 235   LOCATION   A70: BinExpr GTH   LOCATION   A68: AtomExpr 34   LOCATION   A69: AtomExpr 2   LOCATION   A73: BinExpr LTH   LOCATION   A71: AtomExpr 3   LOCATION   A72: AtomExpr 5   LOCATION   A76: BinExpr LEQ   LOCATION   A74: AtomExpr 2   LOCATION   A75: AtomExpr 2   LOCATION