refactoring: rename push / pop API to pushNode / popNode.

Signed-off-by: Kim Kulling <kim.kulling@googlemail.com>