Why does the "Check" value in ASM not match the number of times a monitor was run?