2 calls to
DIAGNOSE_W
SOLVE_EM
SOLVE_EM