Function verify_valid_program

pub fn verify_valid_program(name: &str, program: &str) -> Result<(), UtilError>