# RULES " adhoc1 " forall     rOne = i } = r { rOne = i + 12 } #
# RULES "  " forall s. Record { rTwo = s } = Record { rTwo = s + + s } #


# RULES " adhoc1 " forall     rOne = i } = r { rOne = i + 12 } #
# RULES "  " forall s. Record { rTwo = s } = Record { rTwo = s + + s } #

