@becker33: does this work well at all with the old concretizer? I love this feature but had been thinking it would really suck without a proper solver. I guess we don't have to worry too much longer, as 0.17 will make the new one default.