def METHOD_NAME(required_use, iuse, force_true):
    required_use = parse(required_use=required_use)
    solution = None
    for solution in islice(solver(required_use, iuse, force_true=force_true), 20):
        assert all(solution[flag] for flag in force_true)
        use_flags = tuple(k for k, v in solution.items() if v)
        misses = [
            restrict
            for restrict in required_use.evaluate_depset(use_flags)
            if not restrict.match(use_flags)
        ]
        assert not misses
    assert solution is not None