add `binds` arg to analyze taking an optional map of Var->value to merge
with the default bindings