fixed precedence constraint