check.monitor: Fix preconditions and require style