Cannot source bind & To make transfers that specific investment of source to axiom bind that the name

The Axiom Profiler Understanding and Debugging SMT.