Updated example
Minor changes
Merge branch 'master' into fmemopen
Added normalisation of expressions
Merge branch 'master' into fmemopen

Conflicts:
	spec_blc.c
Modified TODO.md
Merge branch 'master' into fmemopen