Limiting obtaining only one answer set for packing like in clingcon