(takes about 10 s)
example inputs:
{} is empty
f*h is Homeomorphism of T
for a, b being real number holds a+b is real
for f being Relation of X, Y holds (id X)*f = f
for x being real number holds x+0= x
for a, b being Aleph st a c= b holds exp(a,b) = exp(2,b)
for a, b being Integer st a divides b & b divides a & a<>b holds a=-b
for P being Subset of TS st P is closed holds Fr P is nowhere_dense
for s,g being real number holds [.s,g.] is closed
(takes about 10 s)