Backend: Do tail calls by default
Improve tests