Refactor: move property files to separate directory; name the property files according to the naming convention for filenames of verification tasks; adjust symlinks