You are more or less correct. The `project.execute()` API was indeed inspired by Manticore!