Add symbol checking in fuzzyKBCheck and fix numeric bugs