Which operations in Fault Localization have no constraints modeled?

GQ-0257