*******************************************
 simulating VendingMachineAdapted with driver __driver004
*******************************************
===========================================
 SIMULATION STEP 0
===========================================
nickel : True
dime : True
gum : False
credit : 0
__lvar010 : False
__lvar011 : False
__lvar012 : False
__lvar013 : False
__lvar014 : False
__lvar015 : False
__lvar016 : False
__lvar017 : False
__lvar018 : False
__lvar019 : False
__call004.nickel_amount : 5
__call004.dime_amount : 10
__call004.gum_amount : 0
__call004.__ell008 : False
__call004.nickel_amount@0 : 0
__call004.dime_amount@0 : 0
__call004.gum_amount@0 : 0
__call005.__ell009 : False
delayed assignments of driver are:
	next(__ell010) = True
delayed assignments of aif system:
	next(__call004.__ell008) = True
	next(__call005.__ell009) = True
	next(credit) = 15
===========================================
 SIMULATION STEP 1
===========================================
nickel : False
dime : False
gum : True
credit : 15
__lvar010 : True
__lvar011 : False
__lvar012 : True
__lvar013 : False
__lvar014 : True
__lvar015 : True
__lvar016 : False
__lvar017 : True
__lvar018 : False
__lvar019 : True
__call004.nickel_amount : 0
__call004.dime_amount : 0
__call004.gum_amount : 0
__call004.__ell008 : True
__call004.nickel_amount@0 : 0
__call004.dime_amount@0 : 0
__call004.gum_amount@0 : -15
__call005.__ell009 : True
delayed assignments of driver are:
	next(__ell011) = True
delayed assignments of aif system:
	next(__call004.__ell008) = True
	next(__call005.__ell009) = True
	next(credit) = 0
===========================================
 SIMULATION STEP 2
===========================================
nickel : False
dime : False
gum : False
credit : 0
__lvar010 : False
__lvar011 : False
__lvar012 : True
__lvar013 : False
__lvar014 : True
__lvar015 : False
__lvar016 : True
__lvar017 : False
__lvar018 : True
__lvar019 : True
__call004.nickel_amount : 0
__call004.dime_amount : 0
__call004.gum_amount : 0
__call004.__ell008 : True
__call004.nickel_amount@0 : 0
__call004.dime_amount@0 : 0
__call004.gum_amount@0 : 0
__call005.__ell009 : True
delayed assignments of driver are:
delayed assignments of aif system:
	next(__call004.__ell008) = True
	next(__call005.__ell009) = True
	next(credit) = 0