Implement the astencode rules for predicates. These don't actually get
used by trans, but it's easy to do.