remove disuse quantifier,check free occurrence