Added verification of casts/no casts.