Add predicates and intentions for when-then and do-when.