symbolic derivation by Sylvio Sell, Rostock 2017
staticinlinederivate(t:TermNode, p:String):TermNode