Fix incorrect statement regarding var availability

defined return variables will not be available in givens, just when and thens