utility functions for getting the RHS of a replacement