fixed prog reload bug in tail-rec
tail-rec for `if` and `and`