Shorten the predicate description atoms in the `expanding` built-in protocol to avoid a bug in B-Prolog that claims to support atoms with 1000 characters while only accepting 256