push_lhs command now returns the right lhs id's