Translation of imports and log checkers done. Basic log fw abstractions implemented