spec type in generation problem was resolved by defining Agent type in PriorityAndProposalBasedAgent;