Improve ECLiPSe definition of the `'$lgt_predicate_property'/2` predicate