Bugfixes for match, &
Bugfix for div
Bugfix for graph garbage collection