It compiles (but doesn't work)
Bare(ly-working) implementation of constraint generation