Secured potential cast exception.
TODO: Work on a better representation of that case.