start of parser for mu formulae
parser for fomula