add random_term.hpp