eliminated float-parser and semilinear-set parser