Bugfix: defined vars are properly printed; started the elimination of
identity sum nodes