call for extra warnings
better include-guard name
function signatures contains libsbml's types
start replacing a deeper node than shallower one

Note that ASTNode_getListOfNodes() searches in a depth-first manner.
add test cases for sbmlsolver/modelSimplify.h