permute package:dejafu

Swap adjacent independent actions in the trace if a predicate holds.