grammar also accepts condition where it accepted bool