I can't reproduce the error with any of those. It also doesn't make sense as there is no C1 proof for indexed apps (obviously) Can you share screenshots when that happens?