configures mentioned in README work (again)
-O0 works (again)
Initial skeleton for constraint-based inference