initialVariableInfo: {
    numberOfDefinitions: number;
    numberOfRedefinitions: number;
    numberOfVariableUses: number;
    unknownVariables: number;
} = ...