update document following the change of {func}
fix a variable name and conditions for predicate