identify all LEFT RIGHT pairs of Var, Assign, Binary, Return and Update