Syntax Caravan: false positives in mobile functions cleaned. The remaining mobile functions only comprise bug fixes