Create ProgramValidator