forAllDL does not keep track of Actions rejected by precondition #81
Description
forAllDL calls given handler argument on produced Actions. But such Actions datatype always have first param empty, which AFAIU should contain list of rejected Actions.
On opposite arbitrary :: Gen Actions instance seems to implement rejection logs.