function tt in thruthtable.clj
forward decl in transform.clj
examples in examples.logelei_1.clj