The closure grammar does not enforce non-empty inputs but the implementation does. 
