On rigorous verification of the crossed mapping condition