Randbats now check for weaknesses to types