Repaired minor bugs when redefining predicates on prompt