Just simplified TrapCheck. Now does not return anything.