1. A computer-implemented method, comprising: preparing an executable functional sequence corresponding to a source representation of code comprising an atomic transaction; wherein said preparing comprises: including in the functional sequence a call to an inconsistency-aware function, wherein actions taken by the inconsistency-aware function are dependent on whether read set values for the atomic transaction are known to be consistent at the point of the call to the inconsistency-aware function.