checkpoint
dreal_tool(system.tex): add forall_t