add two tries of implementing a new optimization pass for the Mehari project