Fixed bug in term_size in handling 0-ary function symbols.
(Pointed out by Miguel)
Authored by: dwarren 2014-03-15
Parent: [r7930]
Child: [r7932]
