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 the inconsistency-aware function is called by code within the atomic transaction, wherein actions taken by the inconsistency-aware function are dependent on whether read set values for the atomic transaction are known to be consistent with each other at the point of the call to the inconsistency-aware function and prior to its execution, and wherein the read set values are values read by read access operations within the atomic transaction.