The anatomy of a comprehensive constrained, restrained refinement program for the modern computing environment –Olex2dissected | Synapse