Refactor copy_op in boperation.py

[JonnyWalker]

This method does not really copy an operation. And it is only used to rename the operations of seen and used machines. e.g op becomes .op