some changes to adopt new fault localization.