automatically add block-based constraint solver (possible because we have one satisfaction method), simplify sample