Fast and Precise WCET Prediction by Separated Cache and Path Analyses