fix block bounds checking to cope with Infix_tag