corrected function type push in term()