Added code for recognising '00' as lambda