removed syntactically incorrect backflip-tools formula and two test formulae bla and bla2