Tail-rec version of sform in tseitin.