source instrumentation to replace :if, :and, and :or nodes with alloy symbolic expressions