Removed print statement
Fixed issue #476
Merge branch 'master' of https://github.com/cwi-swat/rascal.git
fix by Omar
Merge branch 'master' of github.com:cwi-swat/rascal
Merge branches 'master' and 'muAnd-muOr' of https://github.com/cwi-swat/rascal into muAnd-muOr