Added parameter to check if a datalog is generated from entering or exiting a node, used this to fix stepVisit value.