added static boolean fields to volontarily include bugs in the
consideration of the herbie cost --- that is, not including the
herbie-specific cost in some parts. The reason is to search for a state
giving the same results as the rest of the project, even if it makes no
sense.