Kompile - fixing issue #17 - improved the visitor that updates the
infered data for variables.