use isGivenSet method instead of custom solution
only stored variables that are not primed in the disprover machine