Adding bug with ModularProgram.