started implementing constant propagation.

Signed-off-by: Pepijn Kokke <pepijn.kokke@gmail.com>
extended flowable to embelished monotone frameworks.
saving changes before doing rewrite.
changes:
- started test suites for based analyses
- fixed minor bug in "select" behaviour
- fixed minor bug in "blocks" behaviour
- fixed ae and lv analyses
- fixed major bug in "flow" behaviour

Signed-off-by: Pepijn Kokke <pepijn.kokke@gmail.com>
changes:
- implemented MFP;
- moved tests to test directory;
- created test for VB analysis;
- fixed minor issues.