return a boolean value in method in translator
return a boolean value in method in translator

git-svn-id: 013ac3113cd3d16c1953ca3ca14bb907a88a1e2d@279 3664526f-1af9-0fc8-7c89-f5c43c22a1f7

runtimeverification/llvmmop,runtimeverification/llvmmop