Fix test for empty program, add new tests