the toString method of Term return corrent boolean value
Merge branch 'master' of github.com:MCSN-project2014/APproject
some merge