Leave out useless variables in Wong constraints