OptHalfJoin reduces Joins that are of the form Join(any,nil) or Join(nil,any) to just any.

Optimization defines a process that optimizes an input command and outputs a modified, optimized version of that command, if the optimization is applicable to the input command.