Code style for Woogie - not fixed yet