(str_sub): unifies with the last argument rather than fails when it's
not a variable.
Authored by: kifer 1999-06-20
Parent: [r909]
Child: [r911]