Add all timeout redrec algorithms
Test other random termination
Fix alternative random A2 termination
First minimal RedRec (without A1')
Separate each RR rule and generalise A2 to B2