Annotate actions for purity and equality.