Removed unused variable.
BVarT now indicated by "bvar" in the TTD syntax pretty printer.