validateProgram method

void validateProgram(
Program program
)