public void initResultFact(int[] result) { Arrays.fill(result, TOP);
public void initResultFact(LockSet result) { result.clear(); result.setDefaultLockCount(LockSet.TOP);
	public void initResultFact(int[] result) {		Arrays.fill(result, TOP);	}