Looks like LiftOneLevel PatBindIn3 works out of the box too.