Agents are starting to run real business processes. flowproof tests them like anything e…