Mention about using assumptions in Theories
Mention about using assumptions in Theories

laercioferracini/junit,stefanbirkner/junit,remus32/junit,UnimibSoftEngCourse1516/lab2-es3-m.vella6,UnimibSoftEngCourse1516/lab2-es3-a.tundo,Siddartha07/junit,UnimibSoftEngCourse1516/lab2-es3-s.renzo,moinuddin14/junit,quentin9696/junit,UnimibSoftEngCourse1516/lab2-es3-m.polonioli,JoaquinSiabra/junit,kcooney/junit,julien-sobczak/junit,openhardnudd/junit,hansjoachim/junit,MingxuanChen/junit,Siddartha07/junit,powazny/junit4,flomotlik/junit,onesfreedom/junit,UnimibSoftEngCourse1516/lab2-es3-a.tundo,easyMan-zzy/junit,UnimibSoftEngCourse1516/lab2-es3-f.cirelli1,Thothius/junit,UnimibSoftEngCourse1516/lab2-es3-i.pigazzini,UnimibSoftEngCourse1516/lab2-es3-o.sertori,junit-team/junit,UnimibSoftEngCourse1516/lab2-es3-f.giannini3,AxelMonroyX/junit4,easyMan-zzy/junit,jordancheah/junit,elijah513/junit,paulduffin/junit,alohageck0/junit,chrisvest/junit,0359xiaodong/junit,sposam/junit,AxelMonroyX/junit4,remus32/junit,slezier/junit,UnimibSoftEngCourse1516/lab2-es3-a.mosini,UnimibSoftEngCourse1516/lab2-es3-s.ravetta,feisuo/junit,slezier/junit,adko-pl/junit,kobe73er/MyUnit,powazny/junit4,marcphilipp/junit,ashleyfrieze/junit,eamonnmcmanus/junit,songfj/junit,janocat/junit,freezhan/junit,Siddartha07/junit,alb-i986/junit,janocat/junit,hhariri/junit,openhardnudd/junit,openhardnudd/junit,UnimibSoftEngCourse1516/lab2-es3-f.cirelli1,sposam/junit,schauder/junit,paulduffin/junit,elijah513/junit,mnk/junit,UnimibSoftEngCourse1516/lab2-es3-i.pigazzini,powazny/junit4,junit-team/junit,0359xiaodong/junit,VikingDen/junit,0359xiaodong/junit,freezhan/junit,baev/junit,jhfjhfj1/junit,slezier/junit,rwarren14/junit,UnimibSoftEngCourse1516/lab2-es3-f.cirelli1,AxelMonroyX/junit4,GeeChao/junit,UnimibSoftEngCourse1516/lab2-es3-l.salvestrini,adko-pl/junit,adko-pl/junit,hhariri/junit,ashleyfrieze/junit,kobe73er/MyUnit,mekwin87/junit4,kobe73er/dUnit,alb-i986/junit,jordancheah/junit,hansjoachim/junit,UnimibSoftEngCourse1516/lab2-es3-m.scarpone,marcphilipp/junit,UnimibSoftEngCourse1516/lab2-es3-o.sertori,y-kt/junit,UnimibSoftEngCourse1516/lab2-es3-f.giannini3,eamonnmcmanus/junit,avandeursen/junit,yusuke/junit,GeeChao/junit,dvberkel/junit,UnimibSoftEngCourse1516/lab2-es3-f.spinardi,witcxc/junit,quentin9696/junit,mekwin87/junit4,chrisvest/junit,UnimibSoftEngCourse1516/lab2-es3-m.vella6,UnimibSoftEngCourse1516/lab2-es3-s.renzo,alb-i986/junit,rwarren14/junit,panchenko/junit,VikingDen/junit,UnimibSoftEngCourse1516/lab2-es3-m.scarpone,mnk/junit,rwarren14/junit,cherryleer/junit,alohageck0/junit,Clairebi/JUnit-Clone,songfj/junit,easyMan-zzy/junit,junit-team/junit4,laercioferracini/junit,panchenko/junit,smayoorans/junit,witcxc/junit,baev/junit,eamonnmcmanus/junit,panchenko/junit,kcooney/junit,jordancheah/junit,dvberkel/junit,JoaquinSiabra/junit,hansjoachim/junit,Clairebi/JUnit-Clone,jhfjhfj1/junit,cherryleer/junit,UnimibSoftEngCourse1516/lab2-es3-f.spinardi,UnimibSoftEngCourse1516/lab2-es3-e.nani1,moinuddin14/junit,junit-team/junit,moinuddin14/junit,UnimibSoftEngCourse1516/lab2-es3-e.nani1,MingxuanChen/junit,avandeursen/junit,marcphilipp/junit,sposam/junit,UnimibSoftEngCourse1516/lab2-es3-m.scarpone,kobe73er/dUnit,Thothius/junit,junit-team/junit4,VikingDen/junit,quentin9696/junit,janocat/junit,songfj/junit,MingxuanChen/junit,baev/junit,MichaelJY91/junit,UnimibSoftEngCourse1516/lab2-es3-m.vella6,edwardmlyte/junit,1234-/junit,MichaelJY91/junit,feisuo/junit,freezhan/junit,Thothius/junit,witcxc/junit,1234-/junit,julien-sobczak/junit,UnimibSoftEngCourse1516/lab2-es3-a.mosini,chrisvest/junit,UnimibSoftEngCourse1516/lab2-es3-e.nani1,alohageck0/junit,stefanbirkner/junit,y-kt/junit,Clairebi/JUnit-Clone,feisuo/junit,jhfjhfj1/junit,remus32/junit,UnimibSoftEngCourse1516/lab2-es3-m.polonioli,1234-/junit,smayoorans/junit,laercioferracini/junit,UnimibSoftEngCourse1516/lab2-es3-s.renzo,yusuke/junit,GeeChao/junit,kcooney/junit,onesfreedom/junit,junit-team/junit4,UnimibSoftEngCourse1516/lab2-es3-i.pigazzini,schauder/junit,dvberkel/junit,mekwin87/junit4,UnimibSoftEngCourse1516/lab2-es3-o.sertori,UnimibSoftEngCourse1516/lab2-es3-a.mosini,kobe73er/dUnit,JoaquinSiabra/junit,julien-sobczak/junit,stefanbirkner/junit,flomotlik/junit,cherryleer/junit,kobe73er/MyUnit,avandeursen/junit,ashleyfrieze/junit,UnimibSoftEngCourse1516/lab2-es3-l.salvestrini,yusuke/junit,edwardmlyte/junit,elijah513/junit,UnimibSoftEngCourse1516/lab2-es3-l.salvestrini,mnk/junit,UnimibSoftEngCourse1516/lab2-es3-s.ravetta,MichaelJY91/junit,UnimibSoftEngCourse1516/lab2-es3-f.spinardi,flomotlik/junit,smayoorans/junit,y-kt/junit,paulduffin/junit,onesfreedom/junit,mekwin87/junit4,UnimibSoftEngCourse1516/lab2-es3-a.tundo,UnimibSoftEngCourse1516/lab2-es3-f.giannini3,UnimibSoftEngCourse1516/lab2-es3-m.polonioli,schauder/junit,hhariri/junit,edwardmlyte/junit,UnimibSoftEngCourse1516/lab2-es3-s.ravetta