Currently we have a SPARQL optimiser which covers FILTER expressions of the forms ?x = ex:constant and SAMETERM(?x , ex:constant)
What would also be good to have is an optimiser which covers FILTER expressions of the forms ?x = ?y and SAMETERM(?x, ?y)