added PolicyType to HoaBinh problem
adding the instrumenter support to ExecutorUtility + a reference set for
HoaBinh, it's not working btw
now reference set is correctly loaded (although it requires a file with
only the objs values)