Adapting cut-introduction tests to the new methods

Also added a comment regarding the format of the log.