also collect definedness conditions for casts in substitutions