working reaching definitions; liveness broken though
reaching definitions and liveness work now
moving circle/point incached/outcached functions to abstract instances of monotonefw
fix redeclaration of functions
add pattern to match assignments to dereferenced variables also
circle and point are fixed according to montonefw; so remove definitions of them in instances of montonefm such as liveness, ...
comment code; add patterns to reaching definition
add test with variability to reaching definitions