Added unit tests of program definitions