Fixed some functions

Changed addPredicated --> addDefinition
Fixed log format messages