open_project ./leon3mp.psp
compile
synthesize
save_impl