Unify random generators
Currently, there are two random formula generators that seem to do similar things and could probably be easily unified.
Currently, there are two random formula generators that seem to do similar things and could probably be easily unified.