How to create a user-defined source from a leak in Phast and Safeti