A framework for implementing machine learning in healthcare based on the concepts of preconditions and postconditions | Synapse