Classes

Used for context generation.

Used for .out files generation

Used for test generation.