fix yozemi2014, quantifiers