Apply explicit self transformation before we enter check_fn