axiomlib: add precision marker on prelabeling; fix memory leak in marking

Signed-off-by: Victor Shcherbinin <victorshch@gmail.com>