fixed a side-effect non-term. bug in slr+
unique arinc procedures
called-set based back-edge detection
imperatively store the current node
field == field name
optimized back-edge recognition
_
_
_
_
mostly arinc work
filter all ints out of contextes (exp.no-int-context) and the slr+infl3 solver
Merge remote-tracking branch 'upstream/master'

Conflicts:
	src/domains/queries.ml