Requirements analysis for agents: catch requirement bugs before they become code