fixed bug--was wrongly refuting before checking for witness in fakeWorldClinit