SSAA: Propositional formula generation for common arithmetic operations ==================== TODO: fill.