Fix bug with extra precond. argument
Skip RestoreMethods for now
print $this instead of this$
Compile from transformed source
Refactor tests