added AgentSpecificationBuilder macro;