WYCS: added back support for the built-in lengthof axiom.