actually comparing files at evaluation
simplifications are done?