Pex 3 assignment for Advanced Java