sync, able to inline parameterless functions

Able to inline parameterless functions with working code.
WriteSet analysis started. Is crude, but should be working.
Bugfixes.