Utility for findind smallest inconsistent sets of a-consts