adjust XRF checker behaviour to be similar to type checker