Report unbound variables in erasure.