Add an assertion
Change the symbol for the *= operator to an icon
Fix the ControlFlow method style to not have an outline