fixed constraint rendering with comments
fixed constraint rendering with comments

removed extra <br> tags

gsdlab/clafer,juodaspaulius/clafer,gsdlab/clafer,juodaspaulius/clafer-old-customBNFC,juodaspaulius/bclafer_old,juodaspaulius/clafer