predicate normalazation finished
object normalizing (bug exist)
..