Add remaining combinators for purity analysis.