changed predicate format

Please use another variable for "formula".
As this may cause confusion when we review the code in the future.