# test anonymous method with local var named `result`
# this previously failed due to an interaction with contracts

sig Simple

class Test

	def main
		x = 0
		y = Object()		
		result = 'r1'
		s = Simple(do)
			x = 1
			y = Object()
			result = 'r2'
		CobraCore.noOp(x, y, result, s)