An attempt to add indicator functions for simpfication of dealing with unit functions.
Next attempt to introduce indicator functions.
Simple fault tree as counter example.
Two small bugs and the bad one.

1. No indicator texifying in some cases.
2. Indicator normalization after substitution.
3. Doubling of exponent argument when substituting any variable for itself.
Larger trees in random tests.