Adding sync_push/3 to exported functions and improving code style