Symbolic_trajectory_evaluation loading ...