optmization on env
fix bugs of predicate for constant obj; add report script