Add a pgTAP formula.