initial implementation of implicit flow reasoning