Initial support for improved safety analysis for semijoins.