Allow the formal engine to perform a same-cycle result in the ALU