(options -replace)
(options -readlog)
(options check_standard)

(switch.c (coverage branch)	# parent
	  (coverage relational race call loop)	# Children
 -main -retarg
)
(Pswitch.c (coverage branch)	# parent
 -main -retarg
)
(Cswitch.c 
	  (coverage relational race call loop)	# Children
 -main -retarg
)


(for.c (coverage branch loop)	# parent
	  (coverage race call)	# Children
 -main -retarg
)
(Pfor.c (coverage branch loop)	# parent
 -main -retarg
)
(Cfor.c 
	  (coverage race call)	# Children
 -main -retarg
)



(do.c (coverage branch )	# parent
	  (coverage race loop)	# Children
 -main -retarg
)
(Pdo.c (coverage branch)	# parent
 -main -retarg
)
(Cdo.c 
	  (coverage race loop)	# Children
 -main -retarg
)




(while.c (coverage loop )	# parent
	  (coverage relational race)	# Children
 -main -retarg
)
(Pwhile.c (coverage loop)	# parent
 -main -retarg
)
(Cwhile.c 
	  (coverage race relational)	# Children
 -main -retarg
)




(if.c (coverage branch )	# parent
	  (coverage relational loop)	# Children
 -main -retarg
)
(Pif.c (coverage branch)	# parent
 -main -retarg
)
(Cif.c 
	  (coverage relational loop)	# Children
 -main -retarg
)


(op.c (coverage multi relational )	# parent
	  (coverage call branch)	# Children
 -main -retarg -notretarg -pairargs
)
(Pop.c (coverage multi relational)	# parent
 -main -retarg  -retarg -notretarg -pairargs
)
(Cop.c 
	  (coverage call branch)	# Children
 -main -retarg  -retarg -notretarg -pairargs
)



(return.c (coverage race )	# parent
	  (coverage call relational)	# Children
 -main -retarg 
)
(Preturn.c (coverage race)	# parent
 -main -retarg 
)
(Creturn.c 
	  (coverage call relational)	# Children
 -main -retarg 
)


