utilities library Null safety

Classes

CorrectnessCategory
static class containing all possible values of Statement.statementCorrectness.
Utils
Static Class containing various utility functions. Can be called without calling a constructor.