don't try to send custom smt commands if there aren't any
fixed argument checking in test_symb.ml
some substitution helper functions
made Vars interface a bit more abstract
collect assignables
ingredients for antiframe substitution
prune error configurations
fixed bug in [remove_conf]

also, some code cleanup
code cleanup

Added a signature for [Alt_abd.ProcedureInterpreter] to highlight
the few important bits.
small things
Merge pull request #7 from jvillard/for_radu

2 small fixes (I think)
Merge remote-tracking branch 'origin/master' into alt-abd
specialized [update] for inference, and for checking
small things
preparing to specialize calls only once before symexec

specialize = args&rets substitutions
Normalize line endinds! Hopefully
Digraph.map_vertex
examples.
Please enter the commit message for your changes. Lines starting
inline call specs (ie, Call_cfg -> Spec_cfg) once per symexec
do substitutions also in assignments