Changes in jdynalloyvisitor api, to take care of java arithmetic or not.