An inexact proximal linearized DC algorithm with provably terminating inner loop | Synapse