NO

peak

plus(0(),NUMERAL(y1))
*<-
plus(NUMERAL(0()),NUMERAL(y1))
->*
NUMERAL(plus(0(),y1))

is not joinable