added a line to EXTDifferential -assemblePresentation which pares down the presentation to a minimal one, since leibniz propagation is so overzealous