Robustness against Read Committed for Transaction Templates with Functional Constraints (Logical Methods in Computer Science, 2023)