Added a function to load the program as symbolic expressions.