Moved ReflectedMethodCompilation into folder
Added Invariants experiment