use hashmap [String, IMarker] for proven methods
rename translate to generate proof certificate
remove explicit generate proof certificate action
only retract if active
generate proof certificate once last method is proven