Use source file from the CLIPS distribution for testing.