add dependency to prob to disprover