scheme/constraint-investigator.scm