File	Line Coverage			Functions
bug.rs	50%	50%	2 / 4	12.5%	4 / 32
context.rs	75%	75%	36 / 48	13.33%	4 / 30
domain_tightening.rs	87.94%	87.94%	401 / 456	46.22%	104 / 225
instantiate.rs	83.33%	83.33%	130 / 156	42.55%	20 / 47
objective.rs	95.45%	95.45%	21 / 22	60%	3 / 5
settings.rs	85.58%	85.58%	469 / 548	39.97%	233 / 583