nodemanager robust skolem numbering
cleanup