Trial on fixing predicationVisitor