support detecting FUNC.ARG.WRONG defect on branch