Fix abstract and virtual methods.
Add support for empty init/cond/update in `for`.
Tab fix.