ForAll 参照変数の宣言またはその変数に対する参照に、データ型の接尾辞が含まれています。接尾辞は ForAll 参照変数の宣言、参照には使用できません。
変数の宣言か参照から接尾辞を削除してください。