why3 does not support symbolic links
ln -s /tmp foo
touch bar.mlw
why3 ide foo bar.mlw
why3 ide foo
anomaly: Sys_error("foo/../bar.mlw: No such file or directory")
ln -s /tmp foo
touch bar.mlw
why3 ide foo bar.mlw
why3 ide foo
anomaly: Sys_error("foo/../bar.mlw: No such file or directory")