Analyzing machico.mu...