adds tracing for checks

[christophkloeffel]

adds tracing for chapter 10

[florianschanda]

LRM.Check_Block

Needs link to:

• ast.Check_Block
• ast.Check

LRM.Check_Evaluation_Order

Needs link to:

• ast.Record_Object.perform_checks
• ast.Composite_Type.add_check
• ast.Composite_Type.iter_checks
• ast.Record_Type.iter_checks
• ast.Tuple_Type.perform_type_checks

LRM.Check_Evaluation_Order_For_Extensions

I do not think the link to parser.Parser.parse_check_block makes a
lot of sense.

Needs link to:

• ast.Record_Type.iter_checks

[christophkloeffel]

LRM.Check_Block

Needs link to:

• ast.Check_Block
• ast.Check

After tracing a class it is not possible to trace the methods within anymore. They get ignored in the tracing report. Is this intended?

as of now LRM.Check_Messages and LRM.Check_Severity are not traced to ast.Check.perform because of this