Load Context/Machine before disproving (required for sets)