remove deleted method in semantic locality checker
allow config to be passed to comparator reasoners