<<Task Specification>> pomAuto {Analysis}
Declarations