AST: Refactored CheckOther::clarifyCalculation