The node you are looking for is at
elim_lib
.