Fixed which_services bug in deduce/3.
Shouldn't export deduce.
Merge branch 'pierce-m-master'

Conflicts:
	test/test_commons/tc_proper_model.erl
	test/test_commons/uffda_register_name_model.erl