Fix compile warnings. Remove unnecessary function in entails.