fixed bug about uppercase of predicate name