Use NoOpInstruction to mark stages (of sum factorization)
From loopy docs:
An instruction that carries out no operation. It is mainly
useful as a way to structure dependencies between other instructions.
We can use this to mark stages one to three.