Removed TTC from defaultReward.

TTC can be computed if both NTGs are known.
The formula is RSTC.Theorems.ttcFromNtg.

Since both NTGs are considered in defaultReward, it makes no sense to
additionally let TTC influence defaultReward, right? Really?