what was even the point of the TOP const edge in smatch? not sure, making it a var-var reln
pickling fcn