fixed ex. qunat. pred. bug. (uses first child istead of e. pred)
added assertion to append lib. test.

be carful: pyB can not find args for extern functions like prolog
append(X,"somestring")="someotherstring" will only sucessful if you are lucky

fixet pretty-printer bug. now prints args of functions