specialised load command for disprover
replaced deprecated method