Checking Assumptions About Magnet Programs