genspect::push_front —
aterm_list push_front(aterm_list l, aterm elem);
Inserts a new element at the beginning.